Korzystanie z iteracji stałoprzecinkowej w celu oddzielenia systemu pde

Załóżmy, że miałem problem z wartością graniczną:

d

$$\frac{d^2u}{dx^2} + \frac{dv}{dx}=f \text{ in } \Omega$$ u=h in ∂ $$\frac{du}{dx} +\frac{d^2v}{dx^2} =g \text{ in } \Omega$$ $$u=h \text{ in } \partial\Omega$$

Moim celem jest rozłożenie rozwiązania tego sprzężonego problemu na sekwencję niesprzężonych PDE. Aby oddzielić system, stosuję iterację o stałym punkcie względem sekwencji przybliżeń tak że$(u^k,v^k)$

du k -

$$\frac{d^2u^k}{dx^2} + \frac{dv^{k-1}}{dx}=f$$ $$\frac{du^{k-1}}{dx} +\frac{d^2v^k}{dx^2} =g$$

Teoretycznie pozwoliłoby mi to rozwiązać oba równania jako czysto eliptyczne PDE. Jednak nigdy nie widziałem, aby iteracje ustalonego punktu były stosowane do PDE w ten sposób. Widziałem iteracje punktów stałych zastosowane do równań dyskretnych numerycznie (metoda różnic skończonych, metoda elementów skończonych itp.), Ale nigdy bezpośrednio do równań ciągłych.

Czy robiąc to, naruszam jakąkolwiek rażącą matematyczną zasadę? Czy to jest poprawne matematycznie? Czy mogę rozwiązać sprzężone PDE jako sekwencję niezwiązanych PDE, używając iteracji o stałym punkcie zastosowanej do problemu zmiennej CONTINUOUS zamiast problemu zmiennej DISCRETE?

W tym momencie tak naprawdę nie martwię się, czy zastosowanie tej metody jest praktyczne, ale raczej, czy jest ona teoretycznie możliwa. Wszelkie uwagi będą mile widziane!

$C^{\infty}(\Omega)\times C^{\infty}(\Omega)$

$$\frac{\text{d}^2u^k}{\text{d}x^2} + \frac{\text{d} v^{k-1}}{\text{d} x} =f\\ \frac{\text{d}^2v^k}{\text{d}x^2} + \frac{\text{d} u^{k-1}}{\text{d} x} =g\\ $$ (plus warunki brzegowe).

Oczywiste jest, że jeśli ta sekwencja się zbiegnie, będzie to rozwiązanie oryginalnego zestawu PDE.

$x^k\to x^{k+1}$$u^0$$v^0$

$$\left\| \begin{pmatrix} u^k\\ v^k \end{pmatrix} - \begin{pmatrix} \hat{u}^k\\ \hat{v}^k \end{pmatrix} \right\| \le q \left\| \begin{pmatrix} u^{k-1}\\ v^{k-1} \end{pmatrix} - \begin{pmatrix} \hat{u}^{k-1}\\ \hat{v}^{k-1} \end{pmatrix} \right\|$$ $|q|<1$$(u^{k-1}, v^{k-1})$$(\hat{u}^{k-1}, \hat{v}^{k-1})$

Ta logika działa zarówno w przestrzeni ciągłej, jak i dyskretnej.