內容簡介
《現代數學基礎叢書:索伯列夫空間導論》主要講述索伯列夫空間一般理論和在非綫性偏微分方程中的應用。內容涉及Lebesgue空間Lp(Ω)及其基本性質;整數階索伯列夫空間Wm,p(Ω)及其性質;Wm,p(Ω)空間的嵌入定理、緊嵌入定理和插值定理以及連續函數空間的嵌入定理。論述研究非綫性發展方程時,常用到的含有時間的空間和含有時間的索伯列夫空間。介紹類似於索伯列夫空間嵌人定理的離散函數的插值公式,並利用離散函數的插值公式證明廣義Schrodinger型方程組初邊值問題整體廣義解的存在性。講述速降函數、緩增廣義函數以及它們的Fourier變換和Lebesgue空間的Fourier變換,分數階索伯列夫空間Hs(RN)和Hs(Ω)及其性質。介紹近年來國內外關注的幾個非綫性發展方程的初邊值問題和Cauchy問題解的存在性以及解的爆破現象和解的漸近性質,使讀者較快地利用索伯列夫空間這個有力理論工具,進入研究偏微分方程等學科的前沿。
《現代數學基礎叢書:索伯列夫空間導論》可作為偏微分方程、計算數學、泛函分析、數學物理、控製論和微分幾何等專業的本科生、研究生的教材和參考書,也可供從事相關專業研究的科技工作者參考。
作者簡介
陳國旺,鄭州大學數學係博士生導師,曾任《JournalofPartialDifferentialEquations》副主編,現任《數學季刊》編委。
內頁插圖
目錄
《現代數學基礎叢書》序
前言
第1章 基礎知識
1.1 幾個基本空間的定義
1.1.1 距離空間
1.1.2 綫性空間
1.1.3 綫性賦範空間
1.1.4 Hilbert空間
1.2 綫性算子與綫性泛函
1.2.1 綫性算子
1.2.2 綫性泛函
1.3 連續函數空間
1.3.1 Cm(□)空間的完備性
1.3.2 Cm,λ(□)空間的完備性
1.4 Hilbert空間的Pdesz錶示定理與Lax-Milgram定理
第2章 Lp(Ω)空間及其基本性質
2.1 Lp(Ω)空間
2.1.1 Lp(Ω)空間的定義
2.1.2 Holder不等式、Minkowski不等式和Lp(Ω)範數的內插不等式
2.1.3 Lp(Ω)空間的完備性
2.1.4 Lp(Ω)空間的一緻凸性
2.1.5 Lp(Ω)空間的一個嵌入定理
2.1.6 Cc(Ω)空間在Lp(Ω)空間中的稠密性
2.1.7 捲積、函數的正則化和C∞ c(Ω)空間在Lp(Ω)空間中的稠密性
2.1.8 Lp(Ω)空間的可分性
2.1.9 Lp(Ω)空間元素的整體連續性
2.2 Lp(Ω)空間上綫性泛函的錶示形式
2.2.1 預備知識
2.2.2 Lp(Ω)空間的Riesz錶示定理
2.3 Lp(Ω)空間的弱完備性
2.3.1 緊集的定義和關於強緊集定理
2.3.2 Lp(Ω)空間的弱完備性與弱緊集定理
2.4 弱Lp(Ω)空間、Marcinkiewicz插值定理
2.4.1 弱Lp(Ω)空間、次綫性算子、強型算子和弱型算子
2.4.2 Marcinkiewicz插值定理
2.4.3 Minkowski積分不等式
2.5 混閤範數Lp空間
2.6 Lp(、Q)空間中的準緊集
第3章 整數階索伯列夫空間Wm,p(Ω)及其基本性質
3.1 廣義函數
3.1.1 廣義函數的性質
3.1.2 廣義函數的支集
3.1.3 廣義函數的直積
3.1.4 廣義函數的捲積
3.1.5 廣義函數的導數
3.2 間Wm,p(Ω)空間及其性質
3.3 單位分解定理
3.4 區域的幾何性質
3.5 C∞ c(RN,Ω)在Wm,p(Ω)中的稠密性
3.6 Hm,p(Ω)空間
3.7 對偶性與空間W-m,p'(Ω)
3.7.1 Wm,p(Ω)的對偶與Wm,p 0(Ω)的賦範對偶
3.7.2 空間Lp'(Ω)的(-m,p')-範數
3.8 差商與空間W1,p(Ω)
第4章 索伯列夫空間的嵌入定理和插值定理
4.1 嵌入的含義、坐標變換
4.1.1 嵌入的含義
4.1.2 坐標變換
4.2 嵌入定理
4.3 作為Banach代數的Wm,p(Ω)空間
4.4 插值定理
4.5 緊嵌入定理
4.6 延拓定理
4.7 邊界跡
4.8 Poincare不等式和Wm,p 0(Ω)的一個等價範數
第5章 含有時間的空間
5.1 抽象函數
5.2 抽象函數的Bochner積分
5.3 含有時間的空間
5.3.1 LP((0,T);X)空間的完備性
5.3.2 L∞((0,T);X)空間的完備性
5.4 含有時間的索伯列夫空間
5.5 Aubin引理
第6章 索伯列夫空間在偏微分方程中的應用(I)
6.1 預備知識
6.1.1 Gronwall不等式(微分形式)
6.1.2 Gronwall不等式(積分形式)
6.1.3 Jensen不等式
6.1.4 Leray-Schauder不動點定理
6.2 廣義Ginzburg-Landau模型方程的初邊值問題
6.2.1 初邊值問題(6.2.2)-(6.2.4)整體解的存在性與唯一性
6.2.2 解的漸近性質
6.3 一般綫性橢圓型方程的Dir-ichlet問題
6.4 具阻尼非綫性雙麯型方程的初邊值問題
6.5 廣義立方雙色散方程的初邊值問題
6.6 一類四階非綫性發展方程初邊值問題解的漸近性質
6.7 廣義IMBq型方程組的初邊值問題
6.7.1 問題的提齣和廣義解的定義
6.7.2 初邊值問題(6.7.17),(6.7.19),(6.7.21)的整體解
6.7.3 問題(6.7.16)-(6.7.21)的整體解
第7章 離散函數空間的插值公式和應用
7.1 一個指標的離散函數
7.1.1 離散函數的插值公式
7.1.2 關於離散函數指數為α的Holder係數的不等式
7.1.3 一個離散函數的不等式
7.1.4 有限維空間連續映射的不動點定理
7.2 廣義SchrSdinger型方程組初邊值問題的有限差分法
7.2.1 有限差分方程組(7.2.3)h和有限差分邊值條件(*)h解的存在性和唯一性
7.2.2 有限差分方程組(7.2.3)h在適當的有限差分邊值條件(*)h和離散的初值條件(7.2.8)h下解的先驗估計
7.2.3 當h2+△t2→0時,有限差分方程組(7.2.3)h,(*)h,(7.2.8)h的離散嚮量解v△={vn j}j=0,1,,J;n=0,1,,N)的收斂性
第8章 分數階索伯列夫空間
8.1 速降函數、緩增廣義函數
8.1.1 速降函數
8.1.2 緩增廣義函數
8.2 Fourier變換
8.2.1 □空間中函數的Fourier變換
8.2.2 □空間中函數的Fourier變換
8.2.3 Lebesgue空間中函數的Fourier變換
8.3 分數階索伯列夫空間Hs(RN)
8.4 Hs(RN)空間範數的內插
8.5 分數階索伯列夫空間Hs(Ω)
第9章 索伯列夫空間在偏微分方程中的應用(II)
9.1 具阻尼項的Ⅳ維廣義IMBq方程的Cauchy問題
9.1.1 問題的來曆
9.1.2 Cauehy問題(9.1.2),(9.1.3)在C2([0,∞);HS)中整體解的存在唯一性和解的爆破
9.2 Cauchy問題(9.1.2),(9.1.3)在C3([0,∞);Wm,p ∩ L∞ ∩ L2)中的整體解的存在唯一性和解的爆破
9.3 具Stokes阻尼項的IMBq方程的Cauchy問題
9.3.1 輔助問題(9.3.3),(9.3.4)整體解的存在性和唯一性
9.3.2 Cauchy問題(9.3.1),(9.3.2)
參考文獻
附錄
索引
《現代數學基礎叢書》已齣版書目
前言/序言
現代數學基礎叢書:索伯列夫空間導論 本書導讀:邁嚮泛函分析與偏微分方程的深度探索 《索伯列夫空間導論》是“現代數學基礎叢書”中的重要一捲,旨在為讀者提供一個係統、深入且富有洞察力的現代分析工具——索伯列夫空間的完整圖景。本書並非僅僅是對特定數學概念的簡單羅列,而是深刻地展示瞭索伯列夫空間如何在函數空間理論、泛函分析以及偏微分方程(PDEs)的現代研究中扮演核心角色。 本書的結構設計遵循瞭嚴謹的數學邏輯,從基礎概念的建立到高級理論的闡釋,逐步引導讀者進入這一領域的前沿。 第一部分:經典函數空間與泛函分析的復習與鋪墊 在正式介紹索伯列夫空間之前,本書花費瞭相當篇幅對讀者進行必要的知識準備。這部分內容旨在夯實讀者的基礎,確保他們對泛函分析的基本框架有清晰的認識,並為理解索伯列夫空間的“弱導數”概念做好準備。 1. 拓撲與度量空間迴顧: 簡要迴顧瞭完備性、緊緻性以及函數空間中的收斂性概念,如依點收斂、依範數收斂和依分布收斂。 2. $L^p$ 空間的深入剖析: 對經典 $L^p(Omega)$ 空間($Omega$ 為 $mathbb{R}^n$ 的一個開子集)進行瞭詳盡的討論。重點關注瞭閔可夫斯基不等式、勒貝格控製收斂定理以及這些空間作為巴拿赫空間的完備性。在這裏,作者強調瞭 $L^p$ 空間在處理積分方程和經典PDEs中的局限性,特彆是當解不具備傳統意義上的經典導數時。 3. 分布理論的初步介紹: 分布(或廣義函數)理論是索伯列夫空間誕生的理論土壤。本書適時引入瞭測試函數空間 $mathcal{D}(Omega)$ 和緩增分布空間 $mathcal{S}(mathbb{R}^n)$ 的概念。通過傅裏葉變換的視角,初步展示瞭如何使用分布的“導數”來處理經典導數不存在的函數。這一部分的鋪墊至關重要,因為它確立瞭“弱”概念的必要性和閤理性。 第二部分:索伯列夫空間的構造與核心性質 本書的核心章節,聚焦於索伯列夫空間的精確定義、構造原理及其內在結構。 1. 弱導數的定義與等價性: 這是全書的基石。本書精確地給齣瞭函數 $u in L^1_{loc}(Omega)$ 具有弱導數 $v in L^1_{loc}(Omega)$ 的定義,即對於所有的測試函數 $phi$,滿足 $int_{Omega} u frac{partial phi}{partial x_i} dx = -int_{Omega} v phi dx$。隨後,通過詳細的論證,證明瞭在一定條件下(例如 $Omega$ 是光滑邊界),弱導數是唯一的。 2. 索伯列夫空間的定義 $W^{k,p}(Omega)$: 基於弱導數的概念,本書正式定義瞭索伯列夫空間 $W^{k,p}(Omega)$:它是所有在 $L^p(Omega)$ 中且其所有(廣義)偏導數均在 $L^p(Omega)$ 中的函數的集閤。本書深入分析瞭 $k=1$(即一階索伯列夫空間)的特性,並將其推廣到任意階 $k$ 的情況。 3. 空間結構的完備性: 證明瞭 $W^{k,p}(Omega)$ 裝備瞭特定的範數(通常是 $|u|_{W^{k,p}} = sum_{|alpha|leq k} |D^alpha u|_{L^p}$),是一個巴拿赫空間。這使得索伯列夫空間成為一個理想的分析工具,因為在其中,序列的極限操作是可靠的。 4. 嵌入定理(Sobolev Embedding Theorems): 嵌入定理是索伯列夫空間的“魔力”所在。本書係統地梳理瞭這些定理,區分瞭兩種主要情況: $W^{k,p}(Omega) hookrightarrow L^q(Omega)$: 探討瞭在何種 $(k, p)$ 組閤下,索伯列夫空間中的函數可以在 $L^q$ 意義下保持有界性。 跡(Trace)理論的引入: 對於有界光滑域 $Omega$,討論瞭如何定義函數在邊界 $partial Omega$ 上的“跡”,並證明瞭存在一個有界的跡算子 $T: W^{k,p}(Omega) o L^q(partial Omega)$。這為邊界值問題的研究提供瞭至關重要的橋梁。 第三部分:高級主題與應用基礎 在掌握瞭基礎框架後,本書轉嚮瞭索伯列夫空間在現代數學中的更深層次的應用和性質。 1. 緊緻性與阿拉奧盧(Alaoglu)定理的應用: 討論瞭在特定條件下(如 $p>1$ 且 $Omega$ 有界),索伯列夫空間中的有界集是否具有緊子序列。這部分內容與變分法中的極值存在性密切相關。 2. 關鍵的嵌入結果:Rellich-Kondrachov 定理: 這是一個裏程碑式的成果,它精確地刻畫瞭從 $W^{k,p}(Omega)$ 到 $L^q(Omega)$ 的緊嵌入條件,為薛定諤方程和拉普拉斯方程的特徵值問題提供瞭嚴格的分析基礎。 3. 特殊空間:H$ddot{o}$lder 空間與 $W^{k,infty}$: 簡要對比瞭索伯列夫空間與 H$ddot{o}$lder 空間的區彆與聯係,並討論瞭 $W^{k,infty}$ 空間(即空間中的函數及其所有導數均有界)在解決某些非綫性方程中的意義。 4. 弱解的正則性提升: 本書的實踐意義體現在這裏。通過引入“正則性提升”的概念,展示瞭如果一個弱解滿足某些額外的光滑性假設(例如,如果方程的係數是光滑的),那麼這個弱解實際上就是經典意義下的光滑解。這為PDE解的存在性和唯一性分析提供瞭強有力的工具。 結語 《索伯列夫空間導論》的價值在於它提供瞭一個嚴謹而全麵的框架,將泛函分析的抽象概念與偏微分方程的實際問題緊密結閤。它不僅是研究生學習泛函分析和偏微分方程的必備教材,也是處理涉及變分法、幾何分析以及非綫性 PDE 等領域研究人員的重要參考書。本書的論證清晰、例證豐富,確保讀者在掌握技術工具的同時,也能深刻理解這些工具背後的數學思想和物理意義。掌握索伯列夫空間,即是掌握瞭現代數學分析的“通用語言”。