11
1.2
:
!n
• α = (α1 , · · · , αn ) ∈ (N ∪ {0})n , |α| := j=1 αj ; αj ≤
βj (j = 1, · · · , n), α ≤ β. ( α < β).
√
• x := (x1 , · · · , xn ) ∈ Rn , i := −1 .
∂
∂j := ∂xj := ∂xj , j = 1, · · · , n; ∂ := ∇ := (∂x1 , · · · , ∂xn )T ;
Dj := 1i ∂xj , j = 1, · · · , n; D := 1i ∇ = (D1 , · · · , Dn ).
• α = (α1 , · · · , αn )
" ∂ #α1 " ∂ #αn
∂ α := ∂xα11 · · · ∂xαnn = ··· , Dα := D1α1 · · · Dnαn .
∂x1 ∂xn
$
• k ∈ N, ∇k := {∂ α $ |α| = k}, Dk := (Dα )|α|=k .
1.2.1
1.1. ( ) Ω ⊂ Rn , k ∈ N,
F (Dk u(x), Dk−1 u(x), · · · , Du(x), u(x), x) = 0, x ∈ Ω (1.14)
u:Ω→R k (PDE),
k k−1
F : R n × Rn × · · · × Rn × R × Ω −→ R
. ( u ).
1.4. (1). (1.14) , (PDEs);
(2). (1.14) (1.14) u, u .
, u u .
(3). (1.14)
1.2.2
1.2. ( )
(1).
%
aα (x)∂ α u(x) = f (x), (1.15)
|α|≤k
" #
k , , aα , f , aα |α|=k
̸= (0, · · · , 0).
f = 0, (1.15) . .
12 2.
(2).
%
aα (x)∂ α u(x) + b(x, u, Du, · · · , Dk−1 u) = 0, (1.16)
|α|=k
" #
k , , aα , b , aα |α|=k
̸= (0, · · · , 0).
(3).
%
aα (x, u, Du, · · · , Dk−1 u)∂ α u(x) + b(x, u, Du, · · · , Dk−1 u) = 0, (1.17)
|α|=k
" #
k , , aα , b , aα |α|=k
̸= (0, · · · , 0).
(4). (1.14) Dk u , (1.14) k
.
1.5. (1). , ,
, ;
(2). , ( ).
1.6. (1). 1.1 , Laplace Poisson
.
(2). (KdV )
1
∂t u + u∂x u + ∂x3 u = 0, t > 0, x ∈ R
& '(6 ) &'()
, 3 .
(3). (p-Laplace )
div (|∇u|p−2 ∇u) = 0, p>2
2 .
(4). (Monge-Ampère )
det (D2 u) = f
2 .
1.2.3
1.7. Navier-Stokes /Euler .
⎧
⎨ ∂t u + u · ∇u − µ∆u = −∇p, ( )
t > 0, x ∈ R3 (1.18)
⎩ div u := ∇ · u = 0. ( )
, u = (u1 (t, x), u2 (t, x), u3 (t, x))T p = p(t, x) ,µ≥0
.
13
• µ>0 , (1.18) Navier-Stokes ;
• µ=0 , , (1.18) Euler .
1.6. (1). Navier-Stokes (i.e.
) ;
(2). µ > 0,
∂t u − µ∆u = −∇p + u · ∇u,
& '( ) & '( )
,p Poisson
3
%
−∆p = ∂j ∂k (uj uk ).
j,k=1
(3). Euler Euler
.
1.8. (1). Euler ( ).
⎧
⎨ ∂t ρ + ∇ · (ρu) = 0, ( )
t > 0, x ∈ R3
⎩ ρ(∂ u + u · ∇u) + ∇P = 0. ( )
t
, ρ = ρ(t, x) u = (u1 (t, x), u2 (t, x), u3 (t, x))T ,
P = P (ρ) , dP
dρ = η2 > 0, η>0 .
(2). Navier-Stokes ( ).
⎧
⎨ ∂t ρ + ∇ · (ρu) = 0, ( )
t > 0, x ∈ R3 ,
⎩ ρ(∂ u + u · ∇u) − µ∆u − λ∇u + ∇P = 0. ( )
t
, ρ, u P (ρ) ,µ>0 λ≥0 Shear
Bulk .
1.3
1.3.1
1.3. ( ) ,
(i). ( );
(ii). ( );
(iii). ( ).
.
14 3.
1.7. (1).
, ,
.
(2). . , i.e.,
, .
1.4. ( ) Ω ⊂ Rn , k ∈ N,
F (Dk u(x), Dk−1 u(x), · · · , Du(x), u(x), x) = 0, ∀x ∈ Ω, (1.19)
u (1.19) u Ω , u (1.19), u
(1.19) .
$
1.8. (1). u ∈ C k (Ω) := {v $ ∂ α v ∈ C(Ω), ∀|α| ≤ k} (1.19), u (1.19)
(2). , ;
(3). , ,
;
(4). .
1.3.2
1.9.
⎧
⎨ −∆u = f, x ∈ Ω,
(1.20)
⎩ u$$ = ϕ.
∂Ω
Ω ⊂ R2 ∂Ω ∈ C 2 . f ∈ C(Ω), ϕ ∈ C(∂Ω), u ∈ C 2 (Ω) ∩ C 1 (Ω)
(1.20), u (1.20) . , u ∈ C 1 (Ω)( / C 2 (Ω))
u∈ (1.12)
u , , .
, (1.12) u, ∇u ∈ L2 (Ω), ,
(1.20) .
1.9. , .
1.10.
⎧
⎨ ∂t u + ∂x (F (u)) = 0, t > 0, x ∈ R.
(1.21)
⎩ u$$ = u0 .
t=0
15
(1.21) , , (1.21)
, (u ). ,
.
1.10. / PDE ,
. PDE
(i) , , PDE
(ii) , . , PDE
.
1.3.3
• PDE PDE
• i.e., e.g.
i.e.
.
Chapter 2
Laplace
2.1 Laplace
2.1.1
Laplace
−∆u = 0, x ∈ Rn (2.1)
!n
,∆= 2
j=1 ∂xj Laplace .
(a). ∆
u ∈ C 2 (Rn ).
• : ∀h, x ∈ Rn , ∆(u(x + h)) = (∆u)(x + h);
• : ∀x ∈ Rn , n×n L, ∆(u(Lx)) = (∆u)(Lx).
∆ .
2.1. (1). ∆ ∂j ∆
i.e.,
∂j ∆u = ∆∂j u, j = 1, · · · , n, ∀u ∈ C 3 (Rn ). (2.2)
(2). ∆ i.e.,
Ljk := xj ∂k − xk ∂j , (j ̸= k) ∆ i.e.,
" #
Ljk ∆u(x) = ∆ Ljk u(x) , ∀u ∈ C 3 (Rn ). (2.3)
(3). Laplace Laplace ∆u = 0 u
Laplace .
2.1. ( ) u : Rn → C , i.e.,
u(x) = u(Lx), ∀ x = (x1 , · · · , xn ) ∈ Rn , ∀ n × n L
20 1. Laplace
$!
, u(x) |x| := n
j=1 xj ,
2 u , u(x) =
v(|x|) u(x) = u(|x|).
(b). Laplace (2.1) .
u(x) = v(|x|) (2.1), r = |x|,
n−1 ′
0 = ∆u(x) = v ′′ (r) + v (r), ∀r > 0, (2.4)
r
dr . , (2.4)
′ d
:= v ′ (r) ̸= 0
v ′′ (r) 1−n
(2.4) ⇐⇒ ′
= , ∀r > 0.
v (r) r
d 1−n
⇐⇒ ln |v ′ (r)| = , ∀r > 0.
dr r
a
⇐⇒ v ′ (r) = n−1 , ∀r > 0, a ∈ R\{0}.
r
⎧
⎨ b ln r + c, n = 2
⇐⇒ v(r) = , ∀r > 0, b, c ∈ R.
⎩ b + c, n ≥ 3
rn−2
2.2. ( )
⎧
⎪ 1
⎨ − ln |x|, n=2
Φ(x) := 2π , x ̸= 0
⎪ 1 1
⎩ , n≥3
(n − 2)ωn |x|n−2
n
Laplace (2.1) , , ωn = 2π 2
Γ(n/2) Rn .
2.2. (1). Φ(x) ∈ C ∞ (Rn \ {0}) ∆Φ(x) = 0, ∀x ∈ Rn \ {0};
)
(2). Φ(x) ∈ L1loc (Rn ) := {f : Rn → C ) Φ|K ∈ L1 (K), ∀ K ⊂ Rn },
1 1
|∇Φ(x)| ∼ , |∇2 Φ(x)| ∼ , (∀ x ∈ Rn \ {0}),
|x|n−1 |x|n
, a, b > 0, a∼b c1 , c 2 > 0 c1 a ≤ b ≤ c2 a.
∇Φ ∈ L1loc (Rn ) ∇2 Φ ∈
/ L1loc (Rn ).
(3). Φ(x) Laplace −∆Φ = δ, , δ(·) Dirac .
Cc∞ (Rn ) δ(·)
⟨δ, ϕ⟩ := ϕ(0), ∀ϕ ∈ Cc∞ (Rn ),
Cc∞ (Rn ) := {ϕ ∈ C ∞ (Rn ) | supp ϕ := {x ∈ Rn | ϕ(x) ̸= 0} }.