Restrictions on Alpha for Validity of Laplace Transform Solution

[Hoplite]

I have the problem,
ty(t)= \int_{0}^{t}\tau^{\alpha-1}y(t-\tau)d\tau
subject to the constraint that \int_{0}^{\infty}y(t)dt=1.
In need to get the answer in the form of, Y(p)=something (where Y(p) is the Laplace transform of y(t)).
I can see that the right hand side is Y(p)\frac{\Gamma(\alpha)}{p^a}, but how could I evaluate the left hand side?

 

[Tide]

That wasn't very clear but I think you are saying you want to solve the integral equation for y(t) and you are attempting to do so using the Laplace transform?

For the left side you just need to note that t e^{-st} = - \frac {d}{ds}e^{-st}, reverse the order of differentiation and integration and arrive at the desired result.

 

[Hoplite]

I'm actually just looking at a past exam question. It only asks me to find Y(p). I don't need to invert it afterwards.

OK, so we use \int_{0}^{\infty}ty(t)e^{-pt}dt
=-\int_{0}^{\infty}\frac{d}{dp}(e^{-pt}y(t))dt
=-\frac{d}{dp}\int_{0}^{\infty}e^{-pt}y(t)dt
=-\frac{d}{dp}Y(p)

and so, Y(p)\frac{\Gamma(\alpha)}{p^a}+\frac{d}{dp}Y(p)=0

It concerns me, though, that I haven't actually used \int_{0}^{\infty}y(t)dt=1 in answering the question.

 

[Tide]

You should have used that condition when you evaluated the transform of the right side of the original equation.

 

[Hoplite]

You should have used that condition when you evaluated the transform of the right side of the original equation.

I just used the property that L[\int_{0}^{t}g(\tau)y(t-\tau)d\tau;t\rightarrow p]=G(p)Y(p) to slove for the right hand side. I can't actually see how I'd use \int_{0}^{\infty}y(t)dt=1 to do that.

 

[Tide]

Good point - that's the convolution theorem. Offhand, then, I can't see where the integral constraint comes in.

 

[CarlB]

I can see that the right hand side is Y(p)\frac{\Gamma(\alpha)}{p^a}, but how could I evaluate the left hand side?

I'm going to guess that you're suppose to take the Laplace transform of t y(t) and get -dY/dt, and then solve the differential equation:

-dY/dp = Y(p)\frac{\Gamma(\alpha)}{p^a}

The definite integral he gave you will be necessary to pick out the particular solution of the DE that you need. Isn't it something like Y(0)?

Carl

 

[saltydog]

If I may summarize to help me an others understand this:

Letting:

\mathcal{L}\left\{y(x)\right\}=\int_0^\infty e^{-pt}y(t)dt=Y(p)
we take the Laplace Transform of both sides of the eqution:
\mathcal{L}\left\{ty(t)\right\}=\mathcal{L}\left\{ \int_{0}^{t}\tau^{\alpha-1}y(t-\tau)d\tau\right\}

Noting that the expression in brackets on the RHS is the inverse transform for the product:

Y(p)H(p)

where:

H(p)=\mathcal{L}\left\{t^{\alpha-1}\right\}

we arrive at the IVP:

-Y^{'}(p)=Y(p)\frac{\Gamma(\alpha)}{p^\alpha};\quad Y(0)=\int_{0}^{\infty}e^{-0t}y(t)dt=1

Hoplite, you can solve for Y(p) right? Anyway, I get a form of Y(p) in which I am unable to invert. Would like to know the answer though.

Edit: Alright, I can invert it if alpha is 1/2 (I ain't proud). So what's the range for alpha?

 

[saltydog]

Alright, I have a question. Do I need to take this elsewhere? You guys mind?

So I solve that equation in Y(p) above and using the initial condition given, I get, well, what do you get Hoplite? Anyway, so I let alpha=1/2 and arrive at a solution:

y(t)=\frac{e^{-\pi/t}}{t^{3/2}}

So I wish to back-substitute this solution into the integral equation:

\frac{e^{-\pi/t}}{\sqrt{t}}=\int_0^t \frac{e^{-\pi/(t-\tau)}}{(t-\tau)^{3/2}\sqrt{\tau}}d\tau

So, how do I show that the integral is equal to the LHS?

 

[CarlB]

Edit: Alright, I can invert it if alpha is 1/2 (I ain't proud). So what's the range for alpha?

The DE can be solved by bringing Y stuff to the LHS and p stuff to the RHS for an arbitrary value of alpha. Then \int Y'/Y dp = \ln(Y)+c works on the LHS and the RHS looks like \int p^{-\alpha} dp = p^{1-\alpha}/(1-\alpha) + c.

Carl

 

[saltydog]

I got question #2. I just have such high hopes for integral and integro-differential equations in artificial intelligence. You know those guys at Blue Column are to use . . . but I digress.

Anyway, looking at the integral expression (for alpha=1/2) when t=1:

\int_0^1 \frac{e^{-\pi/(1-\tau)}}{(1-\tau)^{3/2}\sqrt{\tau}}d\tau

Note that this has a vertical asymptote at tau=0. How do I know that the integral converges?

Hoplite, where you at with this anyway? I'm expecting plots you know.

 

[CarlB]

How do I know that the integral converges?

The factor of e^{-\pi/(1-\tau)} should go to zero a lot faster than the denominator.

Carl

 

[saltydog]

The factor of e^{-\pi/(1-\tau)} should go to zero a lot faster than the denominator.
Carl

Hey Carl. That's right for the upper limit. That is:

\mathop\lim\limits_{x\to 1^-} \frac{e^{-\pi/(1-x)}}{(1-x)^{3/2}\sqrt{x}}=0

However for the lower limit, the numerator just goes to e^{-\pi} and we're left with an expression:

\frac{e^{-\pi}}{0}

However, I believe I have it using the p-test and limit tests:

P-test:

\int_0^1 \frac{1}{x^p}dx

is convergent iff p<1.


Limit test:
If:

\mathop\lim\limits_{t\to 0}\frac{f(x)}{g(x)}=1

then:

\int_0^1 f(x)dx

is convergent iff:

\int_0^1 g(x)dx

is convergent.

So let:

f(x)=\frac{e^{-\pi/(1-x)}}{(1-x)^{3/2}\sqrt{x}}

and:

g(x)=\frac{e^{-\pi}}{\sqrt{x}}

then:

\mathop\lim\limits_{x\to 0}\frac{f(x)}{g(x)}=1

and becaues of the p-test:

\int_0^1 g(x)dx

converges and therefore:

\int_0^1 f(x)dx

does so as well.

QED

 

[Hoplite]

What the question says about alpha is, "Indicate any restrictions on alpha that may be needed for your solution to be valid. You are not required to invert the transform." As far as I can see, he wants the answer, alpha is not a negative integer because the presence of of the gamma function.
But I've got it now. It was this advice from Saltydog that I needed: Y(0)=\int_{0}^{\infty}e^{-0t}y(t)dt

So, using,
-\int\frac{dY(p)}{dp}=\Gamma(\alpha)\int p^{-\alpha}dp
So, for alpha is not equal to 1: (How do you do the inequality sign in LaTex?)
Y(p)=k.exp(-\frac{\Gamma(\alpha)}{1-\alpha}p^{1-\alpha})
But Y(0)=1 => k=1.
Y(p)=exp(-\frac{\Gamma(\alpha)}{1-\alpha}p^{1-\alpha})
Or, if alpha=1:
Y(p)=\frac{k}{p}
But this blows up at p=0, so alpha cannot equal one.
(I'd love to know how many students actually got this one right.)

Hoplite, where you at with this anyway? I'm expecting plots you know.

You mean residue plots? Not going to happen, I think.

 

[saltydog]

What the question says about alpha is, "Indicate any restrictions on alpha that may be needed for your solution to be valid. You are not required to invert the transform."

Not invert the transform? That's like giving you a bicycle but saying you can't make the wheels go round and round.

Thanks Hoplite. It was a very interesting problem for me.