How to numerically solve a PDE with delta function boundary condition?

Only a Mirage
Messages
57
Reaction score
0
I have a PDE of the following form:

f_t(t,x,y) = k f + g(x,y) f_x(t,x,y) + h(x,y) f_y(t,x,y) + c f_{yy}(t,x,y) \\<br /> \lim_{t\to s^+} f(t,x,y) = \delta (x-y)

Here k and c are real numbers and g, h are (infinitely) smooth real-valued functions. I have been trying to learn how to do this numerically (was going to use MATLAB's pdepe function which uses a finite difference method, I believe), but I have no clue what to do regarding the boundary condition.

How does one numerically integrate a PDE with dirac delta boundary condition?
 
Last edited:
Physics news on Phys.org
You can approximate the delta function by a step function: \delta(x)= 0 if x&lt; -\epsilon, = 1 if -\epsilon&lt; x&lt; \epsilon, = 0 if x&gt; \epsilon for small \epsilon. How small \epsilon must be depends upon how small you are taking the step size in your numerical integration.
 
  • Like
Likes 1 person
HallsofIvy said:
You can approximate the delta function by a step function: \delta(x)= 0 if x&lt; -\epsilon, = 1 if -\epsilon&lt; x&lt; \epsilon, = 0 if x&gt; \epsilon for small \epsilon. How small \epsilon must be depends upon how small you are taking the step size in your numerical integration.

Oh okay, that makes sense. So that seems to solve that problem. Now I just need to find some software to do this in since apparently with the Matlab toolboxes I have I can only solve 1-dimensional PDEs
 
There are a couple of different ways to represent a delta function initial condition numerically, but the representation should be consistent with the numerical method that you are using to solve the PDE.

For instance using a step function as Hallsofivy suggested for finite difference methods. However there is an error.
You want to preserve the integral \int \delta(x) dx =1. So you should use
f(x) =\frac{ 1}{2\epsilon} for -\epsilon &lt; x &lt; \epsilon

If you're using spectral methods or finite element methods you should project the delta function onto each of your basis functions. The projection will look like f_i =\int w(x)\delta(x) \alpha_i(x) dx where \alpha_i(x) is your i-th basis function, w(x) is a weighting function, and f(x) =\sum_i f_i \alpha_i(x).
 
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