I Numerically solving a non-local PDE

ergospherical
Science Advisor
Homework Helper
Education Advisor
Insights Author
Messages
1,097
Reaction score
1,384
I have a PDE to solve numerically on the region ##x \in [0,1]## and ##t \in (0, \infty)##. It is of the form:$$\frac{\partial f(x,t)}{\partial t} = g(x,t) + \int_0^1 h(x, x') f(x', t) dx'$$The second term is the tricky part. The change in ##f(x,t)## at ##x## depends on the value ##f(x',t)## of every other point ##x'## in the space.

In discretized form, it is something like$$f(x_i,t_{j+1}) = f(x_i,t_j) + \Delta t \left[ g(x_i,t_i) + \sum_{j \neq i} h(x_i, x_j) f(x_j, t_i) \right]$$How can I apply an accurate scheme like Runge-Kutta to this system?
 
Physics news on Phys.org
Why do you exclude j = i from the sum? And what are the boundary conditions?

After discretizing in space, you must end up with <br /> \dot{\mathbf{f}} = M\mathbf{f} + \mathbf{g} where f_i(t)= f(x_i, t) etc. with the matrix M depending on how you do the numerical integration. For the trapezoid rule with x_n = \frac{n}{N - 1} = n \Delta x, <br /> \int_0^1 h(x,x&#039;)f(x&#039;,t)\,dx&#039; \approx \frac12 \Delta x (h(x,x_0)f_0 + 2h(x,x_1)f_1 + \dots + h(x,x_{N-1})f_{N-1}) so that <br /> M_{ij} = \begin{cases} \frac12 \Delta x h(x_i,x_j) &amp; j = 0, N - 1 \\<br /> \Delta x h(x_i, x_j) &amp; j = 1 , \dots, N - 2 \end{cases} You may need to adjust rows 0 and N - 1 in order to enforce a boundary condition.
 
Last edited:
  • Like
Likes ergospherical and docnet
Thanks, I'm making progress...
 
Another alternative is to use Gauss-Legendre quadrature, <br /> \int_0^1 h(x,x&#039;)f(x&#039;,t)\,dx = \frac12\int_{-1}^1 h(x,\tfrac12(z + 1))f(\tfrac12(z + 1),t)\,dz<br /> \approx \sum_{j=0}^{N-1} \tfrac12 w_j h(x,\tfrac12(z_j + 1))f_j which is exact for polynomials of order up to 2N - 1 in x&#039;. The z_i \in [-1,1] are then the Gauss-Legendre points with x_i = \frac12(z_i + 1) and <br /> M_{ij} = \frac12 w_jh(x_i,x_j).
 
Last edited:
  • Like
Likes ergospherical
There is the following linear Volterra equation of the second kind $$ y(x)+\int_{0}^{x} K(x-s) y(s)\,{\rm d}s = 1 $$ with kernel $$ K(x-s) = 1 - 4 \sum_{n=1}^{\infty} \dfrac{1}{\lambda_n^2} e^{-\beta \lambda_n^2 (x-s)} $$ where $y(0)=1$, $\beta>0$ and $\lambda_n$ is the $n$-th positive root of the equation $J_0(x)=0$ (here $n$ is a natural number that numbers these positive roots in the order of increasing their values), $J_0(x)$ is the Bessel function of the first kind of zero order. I...
Are there any good visualization tutorials, written or video, that show graphically how separation of variables works? I particularly have the time-independent Schrodinger Equation in mind. There are hundreds of demonstrations out there which essentially distill to copies of one another. However I am trying to visualize in my mind how this process looks graphically - for example plotting t on one axis and x on the other for f(x,t). I have seen other good visual representations of...
Back
Top