1
$\begingroup$

I want to calculate the first and second distributional derivate of the $2\pi$-periodic function $f(t) = \frac{\pi}{4} |t|$, it is $ \langle f', \phi \rangle = - \langle f, \phi' \rangle = -\int_{-\infty}^{\infty} f \phi' \mathrm{d}x $ and $ \langle f'', \phi \rangle = \langle f, \phi'' \rangle = \int_{-\infty}^{\infty} f \phi'' \mathrm{d}x $ so have to evaluate those integrals, but other than $\phi$ is smooth and has compact support i know almost nothing about $\phi$, so it is enough to integrate over finite bound, but how does i use the definition of $f$? So how could i calculate those integrals?

  • 0
    I think the rest is clear.2012-06-23

2 Answers 2

3

Let $G(t)=\max(t,0)$. The $G'=H$ where $H$ is the Heaviside function ($H(t)=1$ if $t>0$ and $0$ otherwise). Indeed, for any test function $\phi$ we have $\langle G, \phi'\rangle = \int_0^{\infty} t\phi'(t)\,dt = - \int_0^{\infty} \phi(t)\,dt = - \langle H, \phi\rangle$ in agreement with the definition of the distributional derivative. Also, $H'=\delta_0$ by a similar argument: $\langle H, \phi'\rangle = \int_1^{\infty} \phi'(t)\,dt = -\phi(0) = -\langle \delta_0, \phi\rangle$

Any piecewise linear function can be written in terms of the translates of $G$. To do this for your function, you can begin with $f_0(t)=\frac{\pi}{4}G(t)-\frac{\pi}{2}G(t-\pi)+\frac{\pi}{4}G(t-2\pi)$ which agrees with $f$ on $[0,2\pi]$ and is zero elsewhere. Note that $f(t)=\sum_{n\in\mathbb Z}f_0(t+2\pi n )$, where the sum converges in a very strong sense: for any finite interval $I$, there exists $N$ such that $f(t)=\sum_{|n|\le N}f_0(t+2\pi n )$ for $t\in I$. This kind of convergence implies convergence of all distributional derivatives, since test functions have compact support.

1

ok, i tried to solve, for the first and second derivate i got $ f'(t) = \frac{\pi}{4}(2H(t)-1) $ (where $H(t)$ denotes the Heaviside-Function) on $[-\pi, \pi]$ and $f'(t) = f'(t+2\pi)$. For the second derivate i got $ f''(t) = \frac{\pi}{4}\delta_0(t) $ (where $\delta_0$ ist the Dirac-Delta at $0$) on $[-\pi, \pi]$ and $f''(t) = f''(t+2\pi)$. So for the distibutional derivate $ \langle f', \phi \rangle = - \langle f, \phi' \rangle = -\int f \phi' = -\int f'\phi = \langle \frac{\pi}{4}(2H-1), \phi \rangle $ and $ \langle f'', \phi \rangle = \langle \frac{\pi}{4}\delta_0, \phi \rangle $ is this right and is my notation acceptable?

  • 0
    Yes, and then by periodicity. The angle at the endpoints of the initially defined period is easy to miss.2012-06-23