Toronto Math Forum

APM346-2018S => APM346––Home Assignments => Web Bonus Problems => Topic started by: Victor Ivrii on April 04, 2018, 12:28:13 PM

Title: Week 13 -- BP2
Post by: Victor Ivrii on April 04, 2018, 12:28:13 PM
Prove that if $f=\ln |x|$ then
\begin{equation*}
f'(\varphi)= pv \int x^{-1}\varphi (x)\,dx ,
\end{equation*}
where $f'$ is understood in the sense of distributions and the integral is understood as a principal value integral.
Title: Re: Week 13 -- BP2
Post by: Adam Gao on April 04, 2018, 01:49:26 PM
$f'(x) = x^{-1}$

$f'(\varphi) = \int f'(x) \varphi(x)\,dx = \int x^{-1}\varphi (x)\,dx = pv\int x^{-1}\varphi (x)\,dx$

Concern/Confusion: Since the derivative of log absolute value of x is same as the derivative of log of x, why do we use a principal value integral instead of a normal integral? Did I somehow abuse notation?
Title: Re: Week 13 -- BP2
Post by: Victor Ivrii on April 04, 2018, 02:04:59 PM
Because in $\varphi(0)\ne 0$ even improper $\int x^{-1}\varphi(x)\,dx$ does not exist. Because of this all your arguments are wrong. Not wrong-wrong-wrong, but wrong.
Title: Re: Week 13 -- BP2
Post by: Adam Gao on April 04, 2018, 03:30:03 PM
Sorry, I am still confused. Why do we assume $\varphi(0)\ne 0$?

Would I be starting in the right direction with this instead?

$f'(\varphi) = f(\varphi ') = \int f(x) \varphi'(x)\,dx = \int \mathrm{ln}|x| \varphi'(x)\,dx$
Title: Re: Week 13 -- BP2
Post by: Victor Ivrii on April 04, 2018, 05:45:09 PM
Sorry, I am still confused. Why do we assume $\varphi(0)\ne 0$?

Would I be starting in the right direction with this instead?

$f'(\varphi) = f(\varphi ') = \int f(x) \varphi'(x)\,dx = \int \mathrm{ln}|x| \varphi'(x)\,dx$
Why do you assume that $\varphi(0)= 0$?? We should try any test functions, including those with $\varphi(0)\ne 0$.

You started in the correct direction but you cannot integrate by parts in $\int_{-\infty}^\infty$. Instead you need to look what vp means
Title: Re: Week 13 -- BP2
Post by: Adam Gao on April 04, 2018, 10:53:34 PM
I had a sign error as well. I hope this solution makes more sense.

$f'(\varphi) = -f(\varphi ') = -\int f(x) \varphi'(x)\,dx = -\int \mathrm{ln}|x| \varphi'(x)\,dx = -\int_{-\infty}^{\infty}\mathrm{ln}|x| \varphi'(x)\,dx$

Using limits to evaluate an improper integral

 $= -\lim_{R \to \infty} \int_{-R}^{R}\mathrm{ln}|x| \varphi'(x)\,dx$

Then by integration by parts:

 $= -\lim_{R \to \infty}(\mathrm{ln}|R| \varphi(R) - \mathrm{ln}|-R| \varphi(-R)) + \lim_{R \to \infty}(\int_{-R}^{R}x^{-1}\varphi(x)\,dx) = 0 + \lim_{R \to \infty}\int_{-R}^{R}x^{-1}\varphi(x)\,dx = pv\int x^{-1}\varphi (x)\,dx$

The nonintegral limit term dissappeared because $ln|x|$ is even. I also had to assume $\varphi$ was even to make the proof work. I am not sure if that is true.

Title: Re: Week 13 -- BP2
Post by: Victor Ivrii on April 05, 2018, 07:59:36 AM
It is a wrong step in the correct direction. Since $\varphi$ is compactly supported, there is no divergence at infinity, but unless $\varphi(0)=0$, there is divergence at $x=0$.
Title: Re: Week 13 -- BP2
Post by: Adam Gao on April 05, 2018, 01:28:54 PM
Wrong step in the correct direction meaning I shouldn't use limits but I should eventually integrate by parts?

Should I use local integration?
Title: Re: Week 13 -- BP2
Post by: Victor Ivrii on April 05, 2018, 01:37:28 PM
No, you should use limits. But what does it mean $vp-\int_{-\infty}^\infty f(x)\,dx$ when divergence is not at  infinity but at $a$?

See https://en.wikipedia.org/wiki/Cauchy_principal_value (https://en.wikipedia.org/wiki/Cauchy_principal_value)--Just definition
Title: Re: Week 13 -- BP2
Post by: Adam Gao on April 05, 2018, 03:07:00 PM
New proof evaluating the limit at $x=0$:

$f'(\varphi) = -f(\varphi ') = -\int f(x) \varphi'(x)\,dx = -\int \mathrm{ln}|x| \varphi'(x)\,dx = -\int_{-\infty}^{\infty}\mathrm{ln}|x| \varphi'(x)\,dx$

Using limits to evaluate an improper integral

 $= -\lim_{\epsilon \to 0^+} \left[ \int_{-\infty}^{-\epsilon}\mathrm{ln}|x| \varphi'(x)\,dx + \int_{\epsilon}^{\infty}\mathrm{ln}|x| \varphi'(x)\,dx \right]$

Then by integration by parts, we have:

$\lim_{\epsilon \to 0^+} \int_{-\infty}^{-\epsilon}\mathrm{ln}|x| \varphi'(x)\,dx$

$ = \lim_{\epsilon \to 0^+} \left [\mathrm{ln}|-\epsilon| \varphi(-\epsilon) - \mathrm{ln}|-\infty|\varphi(-\infty)\right] - \lim_{\epsilon \to 0^+}\int_{-\infty}^{-\epsilon}x^{-1}\varphi(x)\,dx$

and

$\lim_{\epsilon \to 0^+} \int_{\epsilon}^{\infty}\mathrm{ln}|x| \varphi'(x)\,dx$

$ = \lim_{\epsilon \to 0^+} \left[ \mathrm{ln}|\infty| \varphi(\infty) - \mathrm{ln}|\epsilon|\varphi(\epsilon)\right] - \lim_{\epsilon \to 0^+}\int_{\epsilon}^{\infty}x^{-1}\varphi(x)\,dx$

By $\mathrm{ln}|x|$ and $\varphi(x)$ being even (is this correct?) we get:

$\lim_{\epsilon \to 0^+}\left [\mathrm{ln}|-\epsilon| \varphi(-\epsilon) - \mathrm{ln}|-\infty|\varphi(-\infty) + \mathrm{ln}|\infty| \varphi(\infty) - \mathrm{ln}|\epsilon|\varphi(\epsilon)\right] = 0$

so

$f'(\varphi)$

$= -\lim_{\epsilon \to 0^+} \left[ \int_{-\infty}^{-\epsilon}\mathrm{ln}|x| \varphi'(x)\,dx + \int_{\epsilon}^{\infty}\mathrm{ln}|x| \varphi'(x)\,dx \right] = \lim_{\epsilon \to 0^+}\int_{-\infty}^{-\epsilon}x^{-1}\varphi(x)\,dx + \lim_{\epsilon \to 0^+}\int_{\epsilon}^{\infty}x^{-1}\varphi(x)\,dx = pv\int \mathrm{ln}|x| \varphi'(x)\,dx$
Title: Re: Week 13 -- BP2
Post by: Jingxuan Zhang on April 05, 2018, 04:51:30 PM
Adam: no you cannot and don't need to assume $\varphi$ is even, but rather you would need to use $\varphi$ is smooth. The gap in your argument is smoothed by
$$(\varphi(-\varepsilon)-\varphi(\varepsilon))\ln\varepsilon\to 0 \text{ as } \varepsilon\downarrow0.$$
Title: Re: Week 13 -- BP2
Post by: Victor Ivrii on April 05, 2018, 05:28:51 PM
Yes, we need to assume that $g(x)$ is smooth. Actually, condition is much weaker, just a bit stronger than the continuity of $g$.