În matematică o problemă bine pusăDaniela Zaharie, Algoritmi metaeuristici (curs, 2016), Universitatea de Vest din Timișoara, accesat 2025-12-05 este una pentru care sunt îndeplinite următoarele proprietăți: Problema are o soluție. Soluția este unică. Comportamentul soluției se schimbă continuu odată cu condițiile inițiale.

Exemple de probleme bine puse tipice sunt ecuația lui Laplace cu condiții la limită Dirichlet și ecuația propagării căldurii cu condiții inițiale specificate. Acestea ar putea fi considerate probleme „naturale” prin faptul că există procese fizice modelate de aceste probleme.

Problemele care nu sunt bine puse în sensul de mai sus sunt denumite rău puse. Un exemplu simplu este o problemă de , deoarece poziția optimelor nu este, în general, o funcție continuă a parametrilor care specifică obiectivul, chiar și atunci când obiectivul în sine este o funcție netedă de acești parametri. sunt adesea rău puse. De exemplu inversa ecuației propagării căldurii, prin care se deduce o distribuție anterioară a temperaturii din datele finale, nu este bine pusă deoarece soluția este foarte sensibilă la modificările datelor finale.

Modelele mediilor continue trebuie adesea discretizate pentru a obține o soluție numerică. Deși soluțiile pot fi continue în funcție de condițiile inițiale, ele pot suferi de instabilitate numerică atunci când sunt rezolvate cu precizie finită sau cu erori în date.

Condiționare Chiar dacă o problemă este bine pusă, ea poate fi, totuși, Gelu-Adrian Chisăliță, Curs 3: Metode numerice pentru sisteme de ecuații liniare (curs, 2008), Universitatea Tehnică din Cluj-Napoca, p. 26, accesat 2025-12-06, ceea ce înseamnă că o mică eroare în datele inițiale poate duce la erori mult mai mari în răspunsuri. Problemele din sistemele complexe neliniare (așa-numitele sisteme haotice) oferă exemple binecunoscute de instabilitate. O problemă rău condiționată este indicată de un mare.Alexandru Juncu, Calculul valorilor proprii și vectorilor proprii pentru matrice nesimetrice (curs), Universitatea Politehnica din București, accesat 2025-12-08

Dacă problema este bine pusă, atunci are șanse mari de rezolvare pe un computer care utilizează un algoritm stabil. Dacă nu este bine pusă, pentru tratarea numerică trebuie reformulată. De obicei, aceasta presupune includerea unor ipoteze suplimentare, cum ar fi soluției. Acest proces este cunoscut sub numele de . Regularizarea Tihonov este una dintre cele mai frecvent utilizate metode pentru regularizarea problemelor liniare rău puse.

Existența soluțiilor locale Existența soluțiilor locale este adesea o parte importantă a problemei de bine punere și este fundamentul multor metode de estimare, de exemplu metoda energetică.

Există numeroase rezultate pe această temă. De exemplu, pentru problemele cu valori inițiale Cauchy afirmă în esență că, dacă termenii dintr-o ecuație cu derivate parțiale sunt toți formați din funcții analitice și este îndeplinită o anumită condiție de transversalitate (hiperplanul sau, mai general, hipersuprafața unde sunt poziționate datele inițiale trebuie să nu fie pentru operatorul de derivare parțială), atunci în anumite regiuni există în mod necesar soluții care sunt și ele funcții analitice. Acesta este un rezultat fundamental în studiul ecuațiilor cu derivate parțiale analitice. Surprinzător, teorema nu este valabilă în contextul funcțiilor netede. Hans Lewy a descoperit în 1957 un exemplu dei ecuație cu derivate parțiale liniară ai cărei coeficienți sunt netezi (adică au derivate de toate ordinele), dar nu sunt analitici, la care ecuație nu există vreo soluție. Prin urmare, teorema Cauchy-Kowalevski este în mod necesar limitată în domeniul său de aplicare la funcțiile analitice.

Metoda energetică Metoda energetică este utilă pentru stabilirea atât a unicității, cât și a continuității în raport cu condițiile inițiale (adică nu stabilește existența). Metoda se bazează pe derivarea unei limite superioare a unei funcționale de tip energie pentru o problemă dată.

Exemplu Se consideră ecuația difuziei pe un interval unitate cu condiții la limită Dirichlet omogene și date inițiale adecvate (de exemplu, pentru care ).

Înmulțind ecuația cu și integrând peste intervalul unitate se obține:

Asta spune că (p-norma) nu poate crește în timp. Înmulțind cu 2 și integrând în timp, de la la se obține:

Rezultatul este energia estimată pentru această problemă.

Pentru a demonstra unicitatea soluțiilor, fie două soluții distincte la problemă, notate și fiecare satisfacând aceleași date inițiale. Prin definirea datorită liniarității ecuațiilor se constată că satisface

Aplicând energia estimată rezultă ceea ce implică ().

Similar, pentru a demonstra continuitatea în raport cu condițiile inițiale, fie și soluții corespunzătoare unor date inițiale diferite și Considerând încă o dată , se constată că satisface aceleași ecuații ca mai sus, dar cu Aceasta duce la estimarea energiei care stabilește continuitatea (adică, pe măsură ce și se apropie, măsurate prin norma a diferenței lor, atunci ).

este o abordare alternativă pentru a stabili unicitatea și continuitatea soluțiilor în funcție de condițiile inițiale pentru acest exemplu. Existența soluțiilor la această problemă poate fi stabilită folosind serii Fourier.

Teoria semigrupului Dacă este posibil să se noteze soluția unei probleme Cauchy unde este un operator liniar care aplică un subspațiu liniar dens al pe , cu unde este o familie de operatori liniari pe , satisfăcând

pentru orice este continuă pentru orice din pentru orice din atunci (1) este bine pusă.

enunță criteriile pentru ca o astfel de să existe.

Note explicative

Note

Lectură suplimentară

Categorie:Analiză numerică Categorie:Ecuații cu derivate parțiale