Privacy Policy Cookie Policy Terms and Conditions Formulazione debole - Wikipedia

Formulazione debole

Da Wikipedia, l'enciclopedia libera.

Nello studio delle Equazioni alle derivate parziali (EDP) è di fondamentale importanza lo studio della formulazione debole dei problemi differenziali 'classici', che per dualità vengono anche chiamati problemi in forma forte. La formulazione debole di un problema deriva da quella forte (in un modo che vedremo in seguito), tant'è che una soluzione del problema forte (o soluzione forte) è anche soluzione del problema debole (o soluzione debole o anche soluzione integrale). Ovviamente non vale il viceversa (per lo meno non se si vogliono interpretare le derivate in senso classico), altrimenti i due problemi sarebbero sostanzialmente lo stesso problema e non vi sarebbero vantaggi nello studio del problema debole. Il fatto che invece quest'ultimo sia in generale più ricco di quello forte ne rende interessante (e spesso anche essenziale) lo studio. Ma procediamo per gradi e introduciamo la formulazione debole di un problema differenziale.

[modifica] L'idea generale

L'idea di fondo delle formulazioni deboli è quella che portò anche all'introduzione in matematica delle distribuzioni o funzioni generalizzate: si tratta di non identificare più una funzione in base al valore che essa assume in vari punti, ma in base a come essa "agisce" su delle opportune funzioni test che appartengono a uno spazio test V. Intuitivamente, se questo spazio è abbastanza grande e se ha certe proprietà che qui non discutiamo, è ragionevole pensare di ricostruire la nostra funzione (generalizzata) sapendo come essa agisce su ogni funzione test dello spazio, intendendo con ciò il valore che assume un dato funzionale applicato alla funzione test e alla funzione in questione. Nel caso delle formulazioni deboli, quello che si fa è di moltiplicare (scalarmente nel caso multidimensionale) ambo i termini dell'equazione per una funzione test v e di integrare poi ambo i membri su tutto il dominio di interesse. Dopodiché si "scaricano" le derivate (integrando formalmente per parti) dalla funzione u sulla funzione test v quanto basta per poter richiedere la minor regolarità possibile sia a u che a v. Da quanto detto segue che come minimo essenziale per poter effettuare le integrazioni, sia u che v devono stare in L2 (altrimenti l'integrale non ha senso); inoltre per poter integrare anche i prodotti tra le derivate occorre che stiano anche in Hk, dove k indica il massimo ordine di derivazione che compare dopo aver scaricato le derivate di u sulla funzione test v.

[modifica] Esempio monodimensionale

Consideriamo il seguente problema di Poisson con condizioni al bordo miste omogenee

-u''(x)=f\,\qquad in\qquad (-1,1)
u(-1)=0 \qquad  u'(1)=0

Moltiplichiamo a destra e a sinistra per una funzione test v, riservandoci di specificare dopo in quale spazio la scegliamo, e integriamo per parti tra − 1 e 1.

\int\limits_{-1}^1u'v' - [u'v]_{-1}^{ 1} = \int\limits_{-1}^1fv

Sfruttando le condizioni al bordo su u possiamo scrivere


\int\limits_{-1}^1u'v' + u'(-1)v(-1) = \int\limits_{-1}^1fv

Ora appare chiaro che sia u che v devono stari in H1( − 1,1) per dar senso agli integrali. Spesso, inoltre, in analisi numerica, si preferisce effettuare il cambio di incognita ponendo

u = \tilde{u} + Rg \,

Dove Rg è il rilevamento di u sul bordo; Rg assume quindi al bordo gli stessi valori di u, in modo che \tilde{u} sia nulla sul bordo. Inoltre Rg deve appartenere anch'essa a H1, di modo che sostituendo \tilde{u} nell'equazione si ottenga


\int\limits_{-1}^1\tilde{u}'v' = \int\limits_{-1}^1fv - \int\limits_{-1}^1Rg'v' - (u'-Rg')(-1)v(-1)

Se ora si sceglie come spazio delle funzioni test V = \,{v\quad di\quad H^1(-1,1) : v(-1) = 0\,} allora \tilde{u} e v stanno nellos tesso spazio. Questo è molto utile, poiché risulta possibile applicare un ben noto risultato di analisi funzionale, il lemma di Lax-Milgram, per verificare se il problema è ben posto, cioè se ammaette un'unica soluzione e se questa dipende con continuità dai dati.

[modifica] Analisi del problema in forma debole

Coninuiamo per semplicità a riferirci all'esempio precedente. tuttavia i risultati che vedremo si possono facilmente generalizzare a operatori differenziali generici. Appare evidente che (quantomeno su domini limitati) una soluzione forte è anche soluzione debole. Infatti, se u è soluzione forte, sarà quantomeno di classe C2,avrà cioè almeno due derivate continue. Le procedure di integrazione per parti sono dunque lecite e u soddisfa dunque anche la formulazione debole. Ci poniamo però il problema inverso: supponiamo di trovare una soluzione u del problema debole; essa soddisfa anche il problema forte? E se sì, in che senso? Si vede subito che u non può essere soluzione forte se si interpretano le derivate in senso classico per due motivi:

  • u appartiene a H1 e dunque non può avere in generale una derivata seconda continua (altrimenti sarebbe anche in H2), come invece richiesto dalla soluzione forte.
  • nella formulazione debole non è nemmeno chiesto che u sia definita ovunque. Affinché gli integrali (di Lebesgue) abbiano senso, u può assumere valori arbitrari anche in un'infinità numerabile di punti del dominio (più precisamente in un insieme di misura nulla secondo Lebesgue).

La soluzione a questo problema si ha considerando u non più come una funzione, ma come una distribuzione. Assumendo ciò e interpretando le derivate nel senso delle distribuzioni, si può dire che u soddisfa il problema forte (nel senso delle distribuzioni). anche l'assunzione dei dati al bordo è problematica: per quanto detto sopra, considerando che il bordo del dominio ha sempre misura nulla, parlare del valore di u sul bordo non ha senso classicamente. La soluzione a questo problema si ha considerando il dato al bordo assunto nel senso delle tracce, ossia come limite (nel senso di L2) di funzioni di classe C infinito a supporto compatto che approssimano u nel senso di H1

Icona
Questa voce necessita di essere propriamente categorizzata.
(vedi anche l'elenco delle voci segnalate da categorizzare, e l'elenco delle voci senza alcuna categoria)
THIS WEB:

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - be - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - closed_zh_tw - co - cr - cs - csb - cu - cv - cy - da - de - diq - dv - dz - ee - el - eml - en - eo - es - et - eu - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gd - gl - glk - gn - got - gu - gv - ha - haw - he - hi - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mg - mh - mi - mk - ml - mn - mo - mr - ms - mt - mus - my - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - rm - rmy - rn - ro - roa_rup - roa_tara - ru - ru_sib - rw - sa - sc - scn - sco - sd - se - searchcom - sg - sh - si - simple - sk - sl - sm - sn - so - sq - sr - ss - st - su - sv - sw - ta - te - test - tet - tg - th - ti - tk - tl - tlh - tn - to - tokipona - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu

Static Wikipedia 2008 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -

Static Wikipedia 2007:

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - be - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - closed_zh_tw - co - cr - cs - csb - cu - cv - cy - da - de - diq - dv - dz - ee - el - eml - en - eo - es - et - eu - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gd - gl - glk - gn - got - gu - gv - ha - haw - he - hi - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mg - mh - mi - mk - ml - mn - mo - mr - ms - mt - mus - my - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - rm - rmy - rn - ro - roa_rup - roa_tara - ru - ru_sib - rw - sa - sc - scn - sco - sd - se - searchcom - sg - sh - si - simple - sk - sl - sm - sn - so - sq - sr - ss - st - su - sv - sw - ta - te - test - tet - tg - th - ti - tk - tl - tlh - tn - to - tokipona - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu

Static Wikipedia 2006:

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - be - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - closed_zh_tw - co - cr - cs - csb - cu - cv - cy - da - de - diq - dv - dz - ee - el - eml - en - eo - es - et - eu - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gd - gl - glk - gn - got - gu - gv - ha - haw - he - hi - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mg - mh - mi - mk - ml - mn - mo - mr - ms - mt - mus - my - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - rm - rmy - rn - ro - roa_rup - roa_tara - ru - ru_sib - rw - sa - sc - scn - sco - sd - se - searchcom - sg - sh - si - simple - sk - sl - sm - sn - so - sq - sr - ss - st - su - sv - sw - ta - te - test - tet - tg - th - ti - tk - tl - tlh - tn - to - tokipona - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu