Verify Green's Formula for a Simple DE

In summary, the task involves verifying Green's Theorem for a simple differential equation (DE) by demonstrating how the theorem relates the line integral around a simple curve to the double integral over the region enclosed by the curve. The process includes defining the vector field, computing the necessary integrals, and confirming that the results align according to the theorem, thus illustrating its application in a practical scenario.
  • #1
zenterix
708
84
Homework Statement
1. (a) Compute ##t*1##. More generally, compute ##(q*1)(t)## in terms of ##q=q(t)##.

(b) Compute ##1*t##. More generally, compute ##(1*q)(t)## in terms of ##q=q(t)##.

2. What is the differential operator ##p(D)## whose unit impulse response is the unit step function ##u=u(t)##?

In 1(b) you computed ##1*q=u*q##. Is the assertion in the box in the beginning of this session true in this case?
Relevant Equations
Assertion: Suppose ##w(t)## is the unit impulse response for the operator ##p(D)##. Let ##q(t)## be a (perhaps generalized) function. Then the solution to ##p(D)x=q(t)## with rest initial conditions is given (on ##t>0##) by ##w(t)*q(t)##.
These problems are from a practice problem set from MIT OCW's 18.03 "Differential Equations.

Computing the convolutions ##t*1## and ##1*t## is straightforward. They both equal ##\frac{t^2}{2}##.

Then, ##(q*1)(t)=\int_0^t q(\tau)d\tau##

and ##(1*q)(t)=\int_0^t q(t-\tau)d\tau## which after a change of variables is equal to ##\int_0^t q(\tau)d\tau##.

What we see here is what is actually a general property: the convolution operation "##*##" is commutative.

My question is about problem 2.

Since ##u'(t)=\delta(t)## we see that for ##p(D)=D## we have ##p(D)u(t)=\delta(t)##.

That is, the unit step function ##u(t)## is the unit impulse response for the differential equation ##p(D)x(t)=\delta(t)##.

In problem 1, we computed ##1*q##, and since this is an integral from ##0## to ##t##, this is the same as the convolution ##u*q##.

Suppose we have a differential equation ##p(D)x(t)=q(t)## with ##p(D)=D## and in which ##q(t)## may be a generalized function (ie, a regular function plus a linear combination of delta functions).

We know the unit impulse response function is ##w(t)=u(t)##.

The assertion says that the solution to the differential equation with rest initial conditions is given on ##t>0## by ##w(t)*q(t)##.

We are asked if this is true.

To show that it is true, we need to show that ##x(t)=u(t)*q(t)## solves the differential equation.

That is, ##\dot{x}(t)=q(t)##.

As we showed in problem 1, ##u(t)*q(t)=1*q(t)=\int_0^t q(\tau)d\tau##.

If ##q(t)## is just a regular function then by the FTC indeed we have ##\dot{x}=q(t)##.

Now suppose ##q(t)## contains delta functions.

For example, for a point ##a>0## suppose ##q(t)=\delta_a(t)##.

Then ##x(t)=u(t)*q(t)=\int_{0^-}^{t^+} \delta_a(\tau)d\tau= u_a(t)## and so ##\dot{x}=\delta_a(t)=q(t)##.

Then there is the following comment
It also holds for ##q=\delta_0=\delta##, but that case falls outside the domain over which we are checking the derivative.

Note that to show this we finally had to use the signs on the limits of integration that we had been carefully keeping track of thus far.

"Falls outside the domain over which we are checking the derivative".

What is this domain exactly?

I guess it is ##t>0##.

Why is the integral done starting at ##0^-##?
 
Physics news on Phys.org
  • #2
By convention, [tex]
\int_0^\infty \delta(x)\,dx = \frac12 \int_{-\infty}^\infty \delta(x)\,dx = \frac12.[/tex] Thus the limit [itex]0^{-}[/itex] is necessary to include the entire contribution of [itex]\delta[/itex] in the result.
 

FAQ: Verify Green's Formula for a Simple DE

What is Green's Theorem?

Green's Theorem relates a line integral around a simple closed curve C to a double integral over the plane region D bounded by C. It states that the integral of a function's partial derivatives over the region D can be converted into a line integral around the boundary of D.

How do you verify Green's Theorem for a simple differential equation?

To verify Green's Theorem for a simple differential equation, you need to express the line integral around the boundary of the region and the double integral over the region itself. You then calculate both integrals and show that they are equal, confirming the theorem's validity for the given functions.

What are the conditions for applying Green's Theorem?

Green's Theorem can be applied if the curve C is positively oriented (counterclockwise) and encloses a simply connected region D. Additionally, the functions involved must have continuous partial derivatives on an open region that contains D.

Can Green's Theorem be applied to non-simple regions?

No, Green's Theorem specifically applies to simply connected regions. If the region is not simply connected (e.g., it has holes), the theorem does not hold in its standard form, and modifications or alternative theorems (like the Generalized Green's Theorem) may be necessary.

What is the significance of Green's Theorem in physics and engineering?

Green's Theorem is significant in physics and engineering as it provides a powerful tool for converting complex area integrals into simpler line integrals. This is particularly useful in fluid dynamics, electromagnetism, and other fields where analyzing vector fields is essential.

Back
Top