Dirac Delta Function in Differential Equation

In summary, the problem involves finding the particular solution to a non-homogeneous second-order differential equation with an impulse function as the forcing term. This can be done by finding the general solutions for the two regions of the equation (t<0 and t>0) and using the continuity and jump conditions to determine the coefficients. Alternatively, Laplace transforms can also be used to solve the equation, but the method described above is more appropriate for the current level of knowledge.
  • #1
roam
1,271
12

Homework Statement



Find the solution to:

$$\frac{d^2}{dt^2} x + \omega^2 x = \delta (t)$$

Given the initial condition that ##x=0## for ##t<0##. First find the general solution to ##t>0## and ##t<0##.

Homework Equations



The Attempt at a Solution



This looks like a non-homogeneous second order DE since it has the form ##ax''+bx'+cx=G(t)##. I think the general solution to this kind of DE is of the form:

$$x(t) = x_p(t)+x_c (t)$$

where xp is a particular solution of the equation, and xc is the general solution of the complementary equation ##ax''+bx'+cx=0##.

So, to find xc we can find the roots of the auxiliary equation of ##x''+\omega^2 x =0##:

$$r^2+\omega^2 = 0 \implies r=\sqrt{-\omega^2} = j \omega$$

Therefore ##x_c = c_1 e^{j \omega t}##.

Now to find xp we must solve

$$x'' + \omega^2 x = \delta(t) = \left\{\begin{matrix} 0 \ \ if \ \ t \neq 0\\ \infty \ \ if \ \ t=0 \end{matrix}\right.$$

How can we find the particular solution to this equation?

Is this the correct approach so far? How does the given initial condition factor into the calculations? :confused:

Any help is greatly appreciated.
 
Physics news on Phys.org
  • #2
My first association is with impulse response. See if you can do anything with that.

Physicswise, this is like a mass hanging from a spring that gets a kick (or a hammer stroke) to start oscillating up and down.
 
  • Like
Likes roam
  • #3
roam said:

Homework Statement



Find the solution to:

$$\frac{d^2}{dt^2} x + \omega^2 x = \delta (t)$$

Given the initial condition that ##x=0## for ##t<0##. First find the general solution to ##t>0## and ##t<0##.

Homework Equations



The Attempt at a Solution



This looks like a non-homogeneous second order DE since it has the form ##ax''+bx'+cx=G(t)##. I think the general solution to this kind of DE is of the form:

$$x(t) = x_p(t)+x_c (t)$$

where xp is a particular solution of the equation, and xc is the general solution of the complementary equation ##ax''+bx'+cx=0##.

So, to find xc we can find the roots of the auxiliary equation of ##x''+\omega^2 x =0##:

$$r^2+\omega^2 = 0 \implies r=\sqrt{-\omega^2} = j \omega$$

Therefore ##x_c = c_1 e^{j \omega t}##.

Now to find xp we must solve

$$x'' + \omega^2 x = \delta(t) = \left\{\begin{matrix} 0 \ \ if \ \ t \neq 0\\ \infty \ \ if \ \ t=0 \end{matrix}\right.$$

How can we find the particular solution to this equation?

Is this the correct approach so far? How does the given initial condition factor into the calculations? :confused:

Any help is greatly appreciated.
It is more convenient to use trig functions instead of complex exponentials, so you can write ##x = A \sin(\omega t) + B \cos(\omega t)##, but for simpler typing, I will write "##w##"instead of "##\omega##" from now on. So, you have ##x''(t) +w^2 x(t) = \delta(t)##. For ##x(t)## continuous (but not smooth) we have ##x''(t) + w^2 x(t) = 0## for ##t < 0## ant for ##t > 0##. Furthermore, integrating both sides of the DE from ##t = -\epsilon## to ##t = +\epsilon## we have
[tex] x'(\epsilon) - x'(-\epsilon) + w^2 \int_{-\epsilon}^{\epsilon} x(t) \, dt = 1, [/tex]
so in the limit ##\epsilon \to 0+## we have ##x'(+0) - x'(-0) = 1## (jump condition).

So, writing
[tex] x(t) = \begin{cases} A_1 \sin(wt) + B_1 \cos(wt),& t < 0\\
A_2 \sin(wt) + B_2 \cos(wt),& t > 0
\end{cases}
[/tex]
we must fit ##A_1, B_1, A_2, B_2## so that ##x(t) = 0## for all ##t < 0##, ##x(-0) = x(+0)## (continuity) and ##x'(+0) - x'(-0) = 1## (jump condition).

Basically, the problem is asking you to find the so-called Green's function ##x(t) = G(t)## for the DE ##x''(t) + w^2 x(t) = f(t)##. That is a handy thing to do, because once you have found ##G## you can find a particular solution ##x_p(t)## to that DE as
[tex] x_p(t) = \int_{s=-\infty}^{\infty} G(t-s) f(s) \, ds [/tex]
 
Last edited by a moderator:
  • Like
Likes roam
  • #4
roam said:
$$x'' + \omega^2 x = \delta(t) = \left\{\begin{matrix} 0 \ \ if \ \ t \neq 0\\ \infty \ \ if \ \ t=0 \end{matrix}\right.$$

How can we find the particular solution to this equation?

Is this the correct approach so far? How does the given initial condition factor into the calculations? :confused:
This approach doesn't work because ##\delta(t)## isn't a normal function. Instead, you need to take the approach Ray outlined, where you find solutions in the two regions and then match them up at the boundary at ##t=0##.

Another approach would be to use Laplace transforms, which works out because of the initial condition ##x=0## for ##t<0##.
 
  • Like
Likes roam
  • #5
Thank you Ray but how did you get "1" on the right hand side of the first equation? Because on the RHS the definite integral of zero is just 0:

$$\int^\epsilon_{-\epsilon} x'' (t) + \omega^2 x(t) \ dt = \int^\epsilon_{-\epsilon} 0 \ dt \implies x'(\epsilon) - x'(-\epsilon) + w^2 \int_{-\epsilon}^{\epsilon} x(t) = 0$$

We have x' and x'' as follows:

$$x'(t) = \begin{cases} A_1 w \cos(wt) - B_1 w \sin(wt),& t < 0\\A_2 w \cos(wt) - B_2 w \sin(wt),& t > 0 \end{cases}$$

$$x''(t) = \begin{cases} -A_1 w^2 \sin(wt) - B_1 w^2 \cos(wt),& t < 0\\-A_2 w^2 \sin(wt) - B_2 w^2 \cos(wt),& t > 0 \end{cases}$$

So, how do we work out the coefficients from here? Because as soon as I substitute into ##x''(t) + w^2 x(t) = 0## the expression cancels out. For the t<0 case:

$$\underbrace{-A_1 w^2 \sin(wt) - B_1 w^2 \cos(wt)}_{\text{x''(t)}} + w^2 \underbrace{(A_1 \sin(wt) + B_1 \cos(wt)}_{\text{x(t)}} = 0$$

Likewise for the t>0 case:

$$-A_2 w^2 \sin(wt) - B_2 w^2 \cos(wt )+ w^2 (A_2 \sin(wt) + B_2 \cos(wt)) = 0$$

So we can't really use continuity to work out the coefficients. I'm also not sure how the jump condition is used here.

P.S. We haven't covered the impulse response (Green's function) or Laplace transforms yet, so I think we are expected to solve this using the definition and properties of the Dirac Delta function (that's what we have covered so far).
 
  • #6
roam said:
Thank you Ray but how did you get "1" on the right hand side of the first equation? Because on the RHS the definite integral of zero is just 0:

$$\int^\epsilon_{-\epsilon} x'' (t) + \omega^2 x(t) \ dt = \int^\epsilon_{-\epsilon} 0 \ dt \implies x'(\epsilon) - x'(-\epsilon) + w^2 \int_{-\epsilon}^{\epsilon} x(t) = 0$$

We have x' and x'' as follows:

$$x'(t) = \begin{cases} A_1 w \cos(wt) - B_1 w \sin(wt),& t < 0\\A_2 w \cos(wt) - B_2 w \sin(wt),& t > 0 \end{cases}$$

$$x''(t) = \begin{cases} -A_1 w^2 \sin(wt) - B_1 w^2 \cos(wt),& t < 0\\-A_2 w^2 \sin(wt) - B_2 w^2 \cos(wt),& t > 0 \end{cases}$$

So, how do we work out the coefficients from here? Because as soon as I substitute into ##x''(t) + w^2 x(t) = 0## the expression cancels out. For the t<0 case:

$$\underbrace{-A_1 w^2 \sin(wt) - B_1 w^2 \cos(wt)}_{\text{x''(t)}} + w^2 \underbrace{(A_1 \sin(wt) + B_1 \cos(wt)}_{\text{x(t)}} = 0$$

Likewise for the t>0 case:

$$-A_2 w^2 \sin(wt) - B_2 w^2 \cos(wt )+ w^2 (A_2 \sin(wt) + B_2 \cos(wt)) = 0$$

So we can't really use continuity to work out the coefficients. I'm also not sure how the jump condition is used here.

P.S. We haven't covered the impulse response (Green's function) or Laplace transforms yet, so I think we are expected to solve this using the definition and properties of the Dirac Delta function (that's what we have covered so far).
The integral on the right is not zero, because ##\int_{-\epsilon}^{\epsilon} \delta(t) \, dt = 1##. You did say the RHS was ##\delta(t)##, not zero. That result is using just elementary properties of ##\delta##, specifically: ##\int_I g(t) \delta(t) \, dt = g(0)## for any smooth function and any open interval ##I## that contains zero. Apply it to the function ##g(t) \equiv 1##.
 
Last edited:
  • Like
Likes roam
  • #7
Thank you. I have another question. In your first post you said:

Ray Vickson said:
we must fit ##A_1, B_1, A_2, B_2## so that ##x(t) = 0## for all ##t < 0##, ##x(-0) = x(+0)## (continuity) and ##x'(+0) - x'(-0) = 1## (jump condition).

Could you please explain how exactly you evaluated the limit ##\epsilon \to 0## of ##x'(\epsilon)-x'(-\epsilon)+ \omega^2 \int^{+ \epsilon}_{-\epsilon} x(t)dt =1##? :confused:

Are we justified to ignore the ##\omega^2 \int^{+ \epsilon}_{-\epsilon} x(t)dt## term?

Anyway, if we have x'(0+)=x'(0-)=1, and x(0+)=x(0-)=0 (how do we prove this?) we can substitute to find B and A as follows:

$$x(0)=A \sin(0) + B \cos(0) \implies B =0$$

$$x'(0^+) = A \omega \cos(\omega(0)) - B \omega \sin(\omega(0)) = A \omega = 1 \implies \therefore A = \frac{1}{\omega}$$

So the DE solution has to be:

$$x(t) = \frac{1}{\omega} \sin(\omega t)$$

This solution is for t>0, the harmonic oscillator is at rest for t<0. Is that right?
 
Last edited:
  • #8
roam said:
Thank you. I have another question. In your first post you said:
Could you please explain how exactly you evaluated the limit ##\epsilon \to 0## of ##x'(\epsilon)-x'(-\epsilon)+ \omega^2 \int^{+ \epsilon}_{-\epsilon} x(t)dt =1##? :confused:

Are we justified to ignore the ##\omega^2 \int^{+ \epsilon}_{-\epsilon} x(t)dt## term?

Anyway, if we have x'(0+)=x'(0-)=1, and x(0+)=x(0-)=0 (how do we prove this?) we can substitute to find B and A as follows:

$$x(0)=A \sin(0) + B \cos(0) \implies B =0$$

$$x'(0^+) = A \omega \cos(\omega(0)) - B \omega \sin(\omega(0)) = A \omega = 1 \implies \therefore A = \frac{1}{\omega}$$

So the DE solution has to be:

$$x(t) = \frac{1}{\omega} \sin(\omega t)$$

This solution is for t>0, the harmonic oscillator is at rest for t<0. Is that right?

As I said, ##x(t)## is continuous, so
[tex] \lim_{\epsilon \to 0} \int_{-\epsilon}^{\epsilon} x(t) \, dt = 0 [/tex]
 
  • Like
Likes roam
  • #9
roam said:
Anyway, if we have x'(0+)=x'(0-)=1, and x(0+)=x(0-)=0 (how do we prove this?)
You're given that x(t)=0 for t<0. There's not much left to prove.

$$x(t) = \frac{1}{\omega} \sin(\omega t)$$

This solution is for t>0, the harmonic oscillator is at rest for t<0. Is that right?
Think about it physically. You have an oscillator initially at rest, and then you supply a sudden impulse that sets it in motion. What do you expect its response will be?
 
  • Like
Likes roam

1. What is the Dirac Delta Function in differential equations?

The Dirac Delta Function is a mathematical concept used in differential equations to represent a localized point of infinite magnitude at a specific point. It is often used to model impulse forces or point sources in physical systems.

2. How is the Dirac Delta Function defined mathematically?

The Dirac Delta Function, denoted by δ(x), is defined as a function that has an infinite value at x = 0 and is equal to zero everywhere else. It also has the property that its integral over any interval containing x = 0 is equal to 1.

3. How is the Dirac Delta Function used in differential equations?

The Dirac Delta Function is used in differential equations to represent a point source or impulse force at a specific point. It is often used in conjunction with other functions to model complex physical systems, such as in control theory or fluid dynamics.

4. Can the Dirac Delta Function be integrated or differentiated?

Yes, the Dirac Delta Function can be integrated or differentiated using certain mathematical techniques. However, it is important to note that the Dirac Delta Function does not behave like a traditional function and its integration and differentiation may not follow standard rules.

5. Are there any real-world applications of the Dirac Delta Function in differential equations?

Yes, the Dirac Delta Function has many real-world applications in fields such as physics, engineering, and mathematics. It is commonly used to model point sources, impulse forces, and boundary conditions in various physical systems.

Similar threads

  • Calculus and Beyond Homework Help
Replies
3
Views
2K
  • Calculus and Beyond Homework Help
Replies
31
Views
2K
  • Calculus and Beyond Homework Help
Replies
7
Views
285
  • Calculus and Beyond Homework Help
Replies
8
Views
236
  • Calculus and Beyond Homework Help
Replies
0
Views
167
  • Calculus and Beyond Homework Help
Replies
6
Views
241
  • Calculus and Beyond Homework Help
Replies
7
Views
1K
  • Calculus and Beyond Homework Help
Replies
2
Views
325
  • Calculus and Beyond Homework Help
Replies
2
Views
194
  • Calculus and Beyond Homework Help
Replies
1
Views
705
Back
Top