Kondisi batas periodik untuk persamaan panas dalam] 0,1 [

Mari kita perhatikan kondisi awal yang halus dan persamaan panas dalam satu dimensi: dalam interval terbuka , dan mari kita asumsikan bahwa kita ingin menyelesaikannya secara numerik dengan perbedaan hingga.

\partial_{t} u = \partial_{x x} u

$\partial_t u = \partial_{xx} u$

] 0, 1 [

$]0,1[$

Saya tahu bahwa agar masalah saya dapat diposisikan dengan baik, saya harus memberinya syarat batas pada dan . Saya tahu bahwa Dirichlet atau Neumann bekerja dengan baik. $x=0$ $x=1$

Jika saya memiliki dalam kasus pertama titik interior untuk , maka saya memiliki tidak diketahui: untuk , karena ditentukan pada batas-batas. $N$ $x_k=\frac{k}{N+1}$ $k=1,\cdots,N$ $N$ $u_k=u(x_k)$ $k=1,\cdots,N$ $u$

Dalam kasus kedua, saya benar-benar memiliki tidak diketahui , dan saya tahu cara menggunakan Neumann BC (homogen) untuk melenyapkan laplacian di perbatasan, misalnya dengan tambahan dua poin fiktif dan dan persamaannya: $N+2$ $u_0,\cdots,u_{N+1}$ $x_{-1}$ $x_{N+2}$

\frac{{kamu}_{1} - {kamu}_{- 1}}{2 h} = 0 = \frac{{kamu}_{N + 2} - {kamu}_{N}}{2 h}

$\frac{u_1-u_{-1}}{2 h} = 0 = \frac{u_{N+2}-u_N}{2 h}$

Pertanyaan saya adalah tentang BC berkala. Saya merasa bahwa saya dapat menggunakan satu persamaan, yaitu tapi mungkin dua, dan kemudian saya akan menggunakan

kamu (0) = kamu (1)

$u(0) = u(1)$

\partial_{x} kamu (0) = \partial_{x} kamu (1)

$\partial_x u(0) = \partial_x u(1)$

tapi saya tidak yakin. Saya juga tidak tahu berapa banyak yang tidak diketahui yang harus saya miliki. Apakah ini ? $N+1$

pde boundary-conditions parabolic-pde

— bela83
sumber

Apakah Anda memiliki syarat batas Dirichlet atau Neumann? Jumlah sel hantu tergantung pada urutan perkiraan untuk Anda kondisi batas Neumann.

— ilciavo

@ Silciavo, pertanyaannya adalah tentang kondisi batas periodik.

— Bill Barth

Jawaban:

Cara terbaik untuk melakukan ini adalah (seperti yang Anda katakan) hanya menggunakan definisi kondisi batas periodik dan mengatur persamaan Anda dengan benar dari awal menggunakan fakta bahwa . Bahkan, lebih kuat lagi, kondisi batas periodik mengidentifikasi dengan . Karena alasan ini, Anda hanya boleh memiliki salah satu dari poin ini di domain solusi Anda. Interval terbuka tidak masuk akal ketika menggunakan kondisi batas periodik karena tidak ada batas . $u(0)=u(1)$ $x=0$ $x=1$

Fakta ini berarti Anda tidak boleh menempatkan titik pada karena sama dengan . Diskritisasi dengan poin, Anda kemudian menggunakan fakta bahwa menurut definisi, titik di sebelah kiri adalah dan titik di sebelah kanan adalah . $x=1$ $x=0$ $N+1$ $x_0$ $x_N$ $x_N$ $x_0$

skema kotak periodik

PDE Anda kemudian dapat didiskresi dalam ruang sebagai

\frac{\partial}{\partial t} [\begin{matrix} x_{0} \\ x_{1} \\ ⋮ \\ x_{N} \end{matrix}] = \frac{1}{Δ x^{2}} [\begin{matrix} x_{N} - 2 x_{0} + x_{1} \\ x_{0} - 2 x_{1} + x_{2} \\ ⋮ \\ x_{N - 1} - 2 x_{N} + x_{0} \end{matrix}]

$\frac{\partial}{\partial t} \left[\begin{array}{c} x_0 \\ x_1 \\ \vdots \\ x_N \end{array}\right] = \frac{1}{\Delta x^2} \left[\begin{array}{c} x_N - 2x_0 + x_1 \\ x_0 - 2x_1 + x_2 \\ \vdots \\ x_{N-1} - 2x_N + x_0 \end{array}\right]$

Ini dapat ditulis dalam bentuk matriks sebagai mana

\frac{\partial}{\partial t} \vec{x} = \frac{1}{Δ x^{2}} A \vec{x}

$\frac{\partial}{\partial t}\vec{x} = \frac{1}{\Delta x^2} \mathbf{A} \vec{x}$

A = [\begin{matrix} - 2 & 1 & 0 & \dots & 0 & 1 \\ 1 & - 2 & 1 & 0 & \dots & 0 \\ ⋱ & ⋱ & ⋱ \\ ⋱ & ⋱ & ⋱ \\ 0 & \dots & 0 & 1 & - 2 & 1 \\ 1 & 0 & \dots & 0 & 1 & - 2 \end{matrix}] .

$\mathbf{A} = \left[\begin{array}{c} -2 & 1 & 0 & \cdots & 0 & 1 \\ 1 & -2 & 1 & 0 & \cdots & 0 \\ & \ddots & \ddots & \ddots \\ && \ddots & \ddots & \ddots \\ 0 & \cdots & 0 & 1 & -2 & 1 \\ 1 & 0 & \cdots & 0 & 1 & -2 \end{array}\right].$

Tentu saja tidak perlu untuk benar-benar membuat atau menyimpan matriks ini. Perbedaan yang terbatas harus dihitung dengan cepat, berhati-hati untuk menangani poin pertama dan terakhir secara khusus sesuai kebutuhan.

\partial_{t} u = \partial_{x x} u + b (t, x)

$\partial_t u = \partial_{xx}u + b(t,x)$

x \in [- 1, 1)

$x\in[-1,1)$

u_{Ref} (t, x) = \exp (- t) \cos (5 π x)

$u_\text{Ref}(t,x) = \exp(-t)\cos(5\pi x)$

b (t, x) = (25 π^{2} - 1) \exp (- t) \cos (5 π x)

$b(t,x) = (25\pi^2-1)\exp(-t)\cos(5\pi x)$

clear

% Solve: u_t = u_xx + b
% with periodic boundary conditions

% analytical solution:
uRef = @(t,x) exp(-t)*cos(5*pi*x);
b = @(t,x) (25*pi^2-1)*exp(-t)*cos(5*pi*x);

% grid
N = 30;
x(:,1) = linspace(-1,1,N+1);

% leave off 1 point so initial condition is periodic
% (doesn't have a duplicate point)
x(end) = [];
uWithMatrix = uRef(0,x);
uNoMatrix = uRef(0,x);

dx = diff(x(1:2));
dt = dx.^2/2;

%Iteration matrix:
e = ones(N,1);
A = spdiags([e -2*e e], -1:1, N, N);
A(N,1) = 1;
A(1,N) = 1;
A = A/dx^2;

%indices (left, center, right) for second order centered difference
iLeft = [numel(x), 1:numel(x)-1]';
iCenter = (1:numel(x))';
iRight = [2:numel(x), 1]';

%plot
figure(1)
clf
hold on
h0=plot(x,uRef(0,x),'k--','linewidth',2);
h1=plot(x,uWithMatrix);
h2=plot(x,uNoMatrix,'o');
ylim([-1.2, 1.2])
legend('Analytical solution','Matrix solution','Matrix-free solution')
ht = title(sprintf('Time t = %0.2f',0));
xlabel('x')
ylabel('u')
drawnow

for t = 0:dt:1
    uWithMatrix = uWithMatrix + dt*( A*uWithMatrix + b(t,x) );
    uNoMatrix = uNoMatrix + dt*(  ( uNoMatrix(iLeft) ...
                                - 2*uNoMatrix(iCenter) ...
                                  + uNoMatrix(iRight) )/dx^2 ...
                                + b(t,x) );
    set(h0,'ydata',uRef(t,x))
    set(h1,'ydata',uWithMatrix)
    set(h2,'ydata',uNoMatrix)
    set(ht,'String',sprintf('Time t = %0.2f',t))
    drawnow
end

Plot kondisi awal

Plot solusi pada t = 0,5

Plot solusi pada t = 1.0

Plot solusi pada t = 2.0

— Doug Lipinski
sumber

Solusi hebat dan sederhana !! dalam kasus seseorang membutuhkannya di sini implementasi di Python

— ilciavo

x

$x$

@ bela83 Anda benar bahwa tidak perlu menentukan lebih dari kondisi awal. Melakukannya akan menghasilkan sistem yang terlalu ditentukan. Yang perlu Anda lakukan adalah sedikit berhati-hati di dekat titik akhir interval untuk memastikan Anda membungkus dengan benar secara berkala. Ada banyak cara yang valid untuk melakukan ini.

— Doug Lipinski

-1

Menurut ini, Anda harus memberlakukan ketentuan batas periodik sebagai:

u (0, t) = u (1, t) u_{x} (0, t) = u_{x} (1, t)

$\begin{equation} u(0, t) = u(1, t) \\ u_x(0, t) = u_x(1, t) \end{equation}$

Salah satu cara mendiskritisasi Persamaan Panas secara implisit menggunakan Euler mundur adalah

\frac{u^{n + 1} - u_{n}}{Δ t} = \frac{u_{i + 1}^{n + 1} - 2 u_{i}^{n + 1} + u_{i + 1}^{n + 1}}{Δ x^{2}}

$\begin{equation} \frac{u^{n+1}-u_{n}}{\Delta t}= \frac{u^{n+1}_{i+1}-2u^{n+1}_{i}+u^{n+1}_{i+1}}{\Delta x^2} \end{equation}$

Memecahkan sistem persamaan

[\begin{matrix} I - \frac{Δ t}{Δ x^{2}} A \end{matrix}] [\begin{matrix} u_{1}^{n + 1} \\ u_{1}^{n + 1} \\ ⋮ \\ u_{N}^{n + 1} \end{matrix}] = [\begin{matrix} u_{1}^{n} \\ u_{2}^{n} \\ ⋮ \\ u_{N}^{n} \end{matrix}]

$\begin{equation} \begin{bmatrix} I-\frac{\Delta t}{\Delta x^2}A \end{bmatrix} \begin{bmatrix} u^{n+1}_1 \\ u^{n+1}_1 \\ \vdots \\ \\ \\ u^{n+1}_{N} \end{bmatrix} = \begin{bmatrix} u^n_1 \\ u^n_2 \\ \vdots \\ \\ \\ u^n_{N} \end{bmatrix} \end{equation}$

A = [\begin{matrix} - 2 & 1 & 0 & 0 & 0 & \dots & 0 \\ 1 & - 2 & 1 & 0 & 0 & \dots & 0 \\ 0 & 1 & - 2 & 1 & 0 & \dots & 0 \\ 0 & 0 & 1 & - 2 & 1 & \dots & 0 \\ 0 & 0 & 0 & 1 & - 2 & \dots & 0 \\ ⋮ & ⋮ & ⋮ & ⋮ & ⋱ & ⋱ & ⋮ \\ 0 & 0 & 0 & \dots & 0 & 1 & - 2 \end{matrix}]

$\begin{equation} A= \begin{bmatrix} -2 & 1 & 0 & 0 & 0 & \ldots & 0 \\ 1 & -2 & 1 & 0 & 0 &\ldots & 0 \\ 0 & 1 & -2& 1 & 0 & \ldots & 0 \\ 0 & 0 & 1& -2 & 1 & \ldots & 0 \\ 0 & 0 & 0& 1 & -2 & \ldots & 0 \\ \vdots &\vdots &\vdots &\vdots & \ddots &\ddots &\vdots \\ 0 & 0 & 0 & \ldots &0 &1 &-2 \end{bmatrix} \end{equation}$

$u_{0}$ $u_{N+1}$

u_{1} - u_{N} = 0 \frac{u_{2} - u_{0}}{2 Δ x} - \frac{u_{N + 1} - u_{N - 1}}{2 Δ x} = 0

$\begin{equation} u_1 - u_{N} = 0 \\ \frac{u_{2}-u_{0}}{2 \Delta x} - \frac{u_{N+1}-u_{N-1}}{2 \Delta x} = 0 \end{equation}$

$u_x$

[\begin{matrix} 0 & 1 & 0 & 0 & \dots & 0 & - 1 & 0 \\ - 1 & 0 & 1 & 0 & \dots & 1 & 0 & - 1 \\ 0 & 0 \\ 0 & 0 \\ 0 & I - \frac{Δ t}{Δ x^{2}} A & 0 \\ 0 & 0 \\ 0 & 0 \\ 0 & 0 \end{matrix}] [\begin{matrix} u_{0}^{n + 1} \\ u_{1}^{n + 1} \\ u_{2}^{n + 1} \\ u_{N}^{n + 1} \\ u_{N + 1}^{n + 1} \end{matrix}] = [\begin{matrix} 0 \\ 0 \\ u_{1}^{n} \\ u_{2}^{n} \\ u_{N}^{n} \end{matrix}]

$\begin{equation} \begin{bmatrix} 0 & 1 & 0 & 0 & \ldots & 0 & -1 & 0 \\ -1 & 0 & 1 & 0 & \ldots & 1 & 0 & -1 \\ 0 & & & & & & & 0\\ 0 & & & & & & & 0\\ 0 & & & I-\frac{\Delta t}{\Delta x^2}A & & & & 0\\ 0 & & & & & & & 0\\ 0 & & & & & & & 0\\ 0 & & & & & & & 0 \end{bmatrix} \begin{bmatrix} u^{n+1}_{0}\\ u^{n+1}_1 \\ u^{n+1}_2 \\ \\ \\ \\ \\ u^{n+1}_{N} \\ u^{n+1}_{N+1} \end{bmatrix} = \begin{bmatrix} 0 \\ 0 \\ u^n_1 \\ u^n_2 \\ \\ \\ \\ \\ u^n_{N} \end{bmatrix} \end{equation}$

Yang memberi Anda persamaan N + 2 dan N + 2 tidak diketahui.

Anda juga dapat menyingkirkan yang pertama ke persamaan dan sel hantu dan tiba di sistem persamaan N dan N yang tidak diketahui.

— ilciavo
sumber

Saya tidak mengerti pernyataan itu: "tambahkan dua sel tambahan

u_{- 1}

$u_{-1}$ dan

u_{N}

$u_N$ "karena

u_{N}

$u_N$ sudah menjadi titik masuk

] 0, 1 [

$]0,1[$ . Ada dalam pikiran saya

x_{k} = \frac{k}{N + 1}

$x_k=\frac{k}{N+1}$ yang seperti itu

x_{N} = \frac{N}{N + 1}

$x_N=\frac{N}{N+1}$ .

— bela83

Ini hanya masalah pengindeksan. Anda mulai dengan

N

$N$ sel (atau titik) dari

u_{0}

$u_0$ untuk

u_{N - 1}

$u_{N-1}$ dan Anda menambahkan dua sel

u_{- 1}

$u_{-1}$ dan

u_{N}

$u_{N}$ . Jika Anda memiliki sel dari

u_{1}

$u_1$ untuk

u_{N}

$u_N$ maka Anda perlu menambahkan sel di

u_{0}

$u_0$ dan

u_{N + 1}

$u_{N+1}$

— ilciavo

Baiklah kalau begitu saya tidak mengerti dua persamaan lagi! Yang pertama harus (dengan notasi dari pertanyaan):

u_{0} = u_{N + 1}

$u_0=u_{N+1}$ Baik ? Tapi saya tidak mengerti yang kedua: mengapa tidak memilih perkiraan perbedaan terpusat? Akhirnya, itu membuatnya

N + 1

$N+1$ tidak diketahui, jika nilai pertama dan terakhir sama. Silakan bandingkan dengan situasi dengan (homogen) Neumann BC dalam pertanyaan.

— bela83

Saya sudah mengubah notasi. Itu tergantung pada urutan aproksimasi untuk

u_{x}

$u_x$ . Yang pertama berasal

u (0, t) = u (1, t)

$u(0,t)=u(1,t)$ dan yang kedua dari

u_{x} (0, t) = u_{x} (1, t)

$u_x(0,t)=u_x(1,t)$

— ilciavo

u1 = uN menambahkan batasan tambahan (persamaan u1 − uN = 0) ke sistem Anda

— ilciavo