How to numerically solve a differential equation with a dirac delta function ?

46 次查看(过去 30 天)
The differential equation that I want to solve is
Upon using ode45 and the dirac function, the dirac function doesn't seem to have any effect (which makes sense because x never reaches 1 in a numerical solution)
Any ideas on how to solve this numerically?
  6 个评论
Mohit Kumar
Mohit Kumar 2020-7-1
Alan, this might be something that you missed in your previous comment. The dirac delta function assumes a value of infinity when its argument goes to zero.
So this creates a lot of approximation in the coarse version of the dirac delta function : "small value", "dirac delta's infinity" and the ode's step size.
I implemented the following code for the dirac delta function:
if abs(x-1)<0.01
x_dd=-(x+epsilon*(x_d-0.5*(x_d-abs(x_d))*1e5));
disp(['triggered ' num2str(t)]);
else
x_dd=-(x+epsilon*x_d);
end
And used a maximum step with the ode45 as 0.001
However, the dirac delta function triggers only at specific intervals when the function crosses 1, not all of them. This felt extremely weird. A plot is attached.
Thanks
Alan Stevens
Alan Stevens 2020-7-1
编辑:Alan Stevens 2020-7-1
Hmm. I assumed you just wanted the dxdt - |dxdt| to kick in when x = 1 (The area under the delta function being unity). I'm not sure what you are after if you truly want it to go to infnity (what do you expect the ode function to do with that?). Indeed, if infinity is what you want why bother multiplying it by anything else?

请先登录,再进行评论。

采纳的回答

Walter Roberson
Walter Roberson 2020-7-1
Use ode45 to solve the equation over the start time to time 1 (the place the dirac delta is located.) Do not use the if statements like Alan and Mohit show: just end the integration at the point they would take effect. Using if presents theory problems that you can avoid by just stopping at the place of the event.
Now take the final output of that ode45 and give the appropriate kick to the boundary conditions.
Then restart the ode45 from time 1 to the final desired time, passing in the kicked boundary conditions. Do not use if -- again you avoid the theory problem by not having ode45 cross the interval of discontinuity.
  11 个评论
David Goodmanson
David Goodmanson 2020-7-12
编辑:David Goodmanson 2020-7-12
Hi Mohit,
there is nothing in the derivation that connects t0 with x0, i.e. it's necessary that x(t0) = x0. Also if two definitie integrals are equal to each other that generally says nothing about the relation of the integrands to each other.
One of the easier ways to show this is by considering the delta function as a tall skinny gaussian function:
delta(x) ~~ (C/abs(a)) *exp(-x^2/a^2) (1)
in the 'limit' as a --> 0. The abs(a) is there because 'a' can be either positive or negative in the a^2 factor but the delta spike is supposed to be positive. (The limit can only be taken after multiplying by some function and integrating, but we will eventually be doing that sometime. It's kind of like Huck Finn saying it's not really stealing if you intend to give it back). Here C = 1/sqrt(pi) is a normalization factor so that the integral of this function = 1.
Consider delta(x(t)-x0)
delta(x(t)-x0) ~~ (C/abs(a))*exp(-(x(t)-x0)^2/a^2)
and suppose x = x0 at t = t0, i.e. x(t0) = x0. This is where the relation between x0 and t0 comes in.
If you expand x(t) in a Taylor series about t=t0 and keep only the constant term and the term that is linear in ((t-t0) you should be able to prove the result. Keep in mind that whatever squared constant appears in the denominator of the exponent, its abs value has to appear in the denominator in the factor in front.
Mohit Kumar
Mohit Kumar 2020-7-13
Ah right, my proof is definitely fallacious. I got carried away trying to contrive the derivation!
Your derivation is nice and concise! Thanks for all the help! Glad to have learnt (although superficially) a hitherto alien concept of the dirac delta function in the context of differential equations.

请先登录,再进行评论。

更多回答(0 个)

类别

Help CenterFile Exchange 中查找有关 Analysis of Big Data with Tall Arrays 的更多信息

产品


版本

R2020a

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

Translated by