90 DANIELE ANDREUCCIdati da∫ rR(r) = k 1 +R(r) = k 1 r n + rn2n0( rγ(ρ)ρln dρ, n = 0,ρ)∫ rr 1γ(ρ)ρ −n+1 dρ− r−n2n∫ r0γ(ρ)ρ n+1 dρ, n ≥ 1,Osservazione9.5. Mostriamochelasoluzioneparticolarew(r) checomparenegliintegraliR è regolare anche <strong>per</strong> r → 0. Per brevità limitiamoci al caso <strong>di</strong> α n , n ≥ 1 e a considerareSi noti chew ′′ (r) = γ(r)+ n−12∫rr n−2γ(ρ)ρ −n+1 dρ− n+12r 1∫rr −n−20γ(ρ)ρ n+1 dρ.γ(r) = 1 ∫ πg(r, ϕ)cos(nθ)dθ → 1 ∫ πf(0,0)cos(nθ)dθ = 0, r → 0,ππ−π−πe anzi (ve<strong>di</strong> la Sezione 3.2)|γ(r)| ≤ 1 ∫ π|g(r, θ)− f(0,0)| dθ ≤ 1 ∫ πmax|∇ f|rdθ ≤ 2max|∇ f|r.ππ−π−πConsideriamo <strong>il</strong> secondo addendo in w ′′ (r), gli altri essendo anche più semplici: taleaddendo è maggiorato in valore assoluto dan−12∫ r 1r|γ(ρ)| rn−2∫r 1ρ n−1 dρ ≤ (n−1)e quin<strong>di</strong> rimane limitato <strong>per</strong> r → 0.rmax|∇ f| rn−2ρ n−2 dρ ≤ (n−1)r 1max|∇ f|,9.4.3. Il caso dell’equazione omogenea nel cerchio. Se pren<strong>di</strong>amo f ≡ 0in (9.31), <strong>per</strong> gli argomenti svolti sopra, si hanno <strong>per</strong> lo sv<strong>il</strong>uppo in seriedella soluzione (9.30) i coefficientiα 0 (r,r 1 ) = 12πα n (r,r 1 ) = rnr n 1β n (r,r 1 ) = rnr n 1∫ π−π∫ π1π1π−π∫ π−πu(r 1 cos θ,r 1 sin θ)dθ,u(r 1 cos θ,r 1 sin θ)cos(nθ)dθ,u(r 1 cos θ,r 1 sin θ)sin(nθ)dθ.□(9.33)Si noti che abbiamo ridefinito i coefficienti α n , β n come funzioni delle duevariab<strong>il</strong>i r, r 1 . In particolare α 0 non <strong>di</strong>pende<strong>di</strong> fatto dar. Definiamo anche<strong>per</strong> brevità <strong>di</strong> notazioneα ∗ n(r 1 ) = α n (1,r 1 ), β ∗ n(r 1 ) = β n (1,r 1 ). (9.34)Tuttavia, gli argomenti svolti fin qui non sono rigorosi. Ren<strong>di</strong>amo tale <strong>il</strong>risultato nel prossimo Teorema:•
9.4. L’EQUAZIONE DI LAPLACE IN COORDINATE POLARI 91Teorema 9.6. Sia u ∈ C 2 (Ω) una funzione armonica in Ω, ove Ω è un a<strong>per</strong>to<strong>di</strong> R 2 che contiene l’origine. Sia d = <strong>di</strong>st((0,0), ∂Ω). Allora i coefficienti α ∗ n, β ∗ ndefiniti in (9.33), (9.34) non <strong>di</strong>pendono da r 1 , <strong>per</strong> r 1 ∈ (0,d). Inoltre, valeu(rcos ϕ,rsin ϕ) = α ∗ 0 +<strong>per</strong> 0 ≤ r < d, −π ≤ ϕ ≤ π.∞∑n=1r n[ α ∗ ncos(nϕ)+ β ∗ nsin(nϕ) ] , (9.35)Dimostrazione. A) Fissiamo r 1 ∈ (0,d). Iniziamo con <strong>il</strong> <strong>di</strong>mostrare chevale <strong>per</strong> u la rappresentazione (9.35), ove i coefficienti α ∗ n, β ∗ n sono intesi<strong>per</strong> ora come calcolati in r 1 , e r ≤ r 1 .Questa serie, <strong>per</strong> r = r 1 , è la serie <strong>di</strong> Fourier <strong>di</strong> U(ϕ) := v(r 1 , ϕ). Datoche U sod<strong>di</strong>sfacertole ipotesidelTeorema8.4, come restrizionealla curva∂B r1 <strong>di</strong> una funzione <strong>di</strong> classe C 2 , la serie converge uniformemente a U su[−π, π], ossiamax |U(ϕ)−S k(r 1 , ϕ)| → 0, k → ∞.−π≤ϕ≤πD’altra parte, sia u che S k sono funzioni armoniche nel cerchio B r1 ; quin<strong>di</strong><strong>per</strong> <strong>il</strong> principio <strong>di</strong> massimo (Teorema 4.1)maxr≤r 1|u(r, ϕ)−S k (r, ϕ)| ≤ max−π≤ϕ≤π |U(ϕ)−S k(r 1 , ϕ)| → 0, k → ∞.Quin<strong>di</strong> la serie converge uniformemente a u in B r1 , e la (9.35) è stab<strong>il</strong>ita.B) Dimostriamo che i coefficienti α ∗ n, β ∗ n sono in<strong>di</strong>pendenti da r 1 .Consideriamo due raggi 0 < r 1 < r 2 < d. Fissiamo 0 < r < r 1 . Ilragionamento del punto A) si può ripetere sia <strong>per</strong> r 1 che <strong>per</strong> r 2 . Dunquela funzioneϕ ↦→ v(r, ϕ)ammette due sv<strong>il</strong>uppi in serie <strong>di</strong> Fourier; <strong>per</strong> l’unicità dei coefficienti <strong>di</strong>Fourier (Proposizione 7.18) segue che i coefficienti delle due serie devonocoincidere due a due, ossiaα ∗ 0(r 1 ) = α ∗ 0(r 2 ), r n α ∗ n(r 1 ) = r n α ∗ n(r 2 ), r n β ∗ n(r 1 ) = r n β ∗ n(r 2 ).Dato che r > 0, segue la tesi.□Osservazione 9.7. È chiaro che la rappresentazione (9.35) vale anche incerchi <strong>di</strong> centro <strong>di</strong>verso dall’origine; basta a questo scopo traslare <strong>il</strong> sistema<strong>di</strong> coor<strong>di</strong>nate, visto che l’equazione <strong>di</strong> Laplace è invariante <strong>per</strong>traslazioni.□Dalla formula (9.35) si possono trarre <strong>di</strong>verse conseguenze importanti.Teorema 9.8. (Formula della me<strong>di</strong>a) Se u è armonica in Ω, allora vale, <strong>per</strong>ogni (x 0 ,y 0 ) ∈ Ω e <strong>per</strong> ogni 0 < r 1 < <strong>di</strong>st((x 0 ,y 0 ), ∂Ω) lau(x 0 ,y 0 ) = 1 ∫u(x,y)dσ.2πr 1∂B r1 (x 0 ,y 0 )