Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

In reading my textbook, the author give a lemma as follows:

Let $X\subset \mathbb{R}^{n}$ be an open set, and let $u\in \mathcal{E}'(X)$ have order $N$. Then $\langle u,\phi \rangle=0$ for all $\phi$ such that $$\partial^{\alpha}\phi(x)=0$$ when $x\in supp(u)$ and $|\alpha|\le N$.

The author gives a counter-example stating that it is generally wrong to apply this to the case $K=supp(u)$ and assert that if a sequence of functions $\phi_{k}$ converges uniformly to 0 on $supp(u)$, and all its derivatives do so as well, then $\langle u,\phi_{k}\rangle \rightarrow 0$ as $k\rightarrow \infty$. The counter-example is as follows:

Let $X=\mathbb{R}$, $$\langle u,\phi \rangle=\lim_{m\rightarrow \infty}(\sum^{m}_{k=1}\phi(\frac{1}{k})-m\phi(0)-\phi'(0)log(m))$$ Then $supp (u)$ is $$\{0,1,\frac{1}{2},\frac{1}{3}..\}$$ We can construct $\phi_{k}\in C^{\infty}_{c}(\mathbb{R})$ such that $\phi_{k}=k^{-\frac{1}{2}}$ for $x\ge \frac{1}{k}$ and $\phi_{k}=0$ for $x\le \frac{1}{k+1}$. Then we have $\phi_{k}$ converge to $0$ uniformly as $k\rightarrow \infty$, and all their derivatives vanish on $supp (u)$. However we have $$\langle u,\phi_{k}\rangle=kk^{-\frac{1}{2}}=k^{\frac{1}{2}}\rightarrow \infty$$ as $k\rightarrow \infty$.

My question is - is $u$ in here of finite order? If not why the lemma failed? I feel confused because the author claimed when the boundary of $supp u$ is nice enough then the above claim makes sense, but it feels (nice enough or not) is not related as it is not used at all in the proof of the lemma.

share|improve this question
    
If you already say that you are referring to your textbook a note which book it actually is wouldn't have killed you :) –  Listing Jun 20 '12 at 7:08
    
Which book is this? What page? –  Potato Jun 20 '12 at 9:23
    
In Friedlander's book "introduction to the theory of distributions". Page 38. –  Bombyx mori Jun 20 '12 at 20:15
    
If I understand you correctly, in the lemma in particular $\phi(x) = 0$ on supp $u$ is required. And this cannot be extended to $\phi_k \to 0$ uniformly. –  Vobo Jun 20 '12 at 20:34
1  
For a distribution $u$ and a sequence of test functions $(\varphi_k)$, $u(\varphi_k)$ converges to 0 , iff the sequence $(\varphi_k)$ converges to 0 in some $\mathcal{D}(K)$, where $K\subset X$ is compact, AND supp $\varphi_k \subset K$ for all $k$. And precisely the very last condition is violated for your specific $K =$ supp $\varphi$. –  Vobo Jun 21 '12 at 10:49

1 Answer 1

up vote 3 down vote accepted

$\def\<#1>{\left<#1\right>}\def\abs#1{\left|#1\right|}\def\norm#1{\left\|#1\right\|}$ So we have estimating the order of $u$: \begin{align*} \abs{\<u, \phi>} &= \abs{\lim_{m\to\infty} \sum_{k=1}^m \phi(1/k) - m\phi(0) - \log m\cdot \phi'(0)}\\ &= \lim_{m\to \infty} \abs{\sum_{k=1}^m \bigl(\phi(1/k) - \phi(0)\bigr) - \log m\cdot \phi'(0) }\\ &= \lim_{m\to \infty} \abs{\sum_{k=1}^m \frac 1k \phi'(\xi_k) - \log m \cdot \phi'(0)}\\ &= \lim_{m \to \infty} \abs{\sum_{k=1}^m \frac 1k\bigl(\phi'(\xi_k) - \phi'(0)\bigr) + \left(\sum_{k=1}^m \frac 1k - \log m\right)\phi'(0) }\\ &= \lim_{m \to \infty} \abs{\sum_{k=1}^m \frac{\xi_k}k \phi''(\eta_k) + \left(\sum_{k=1}^m \frac 1k - \log m\right)\phi'(0) }\\ &\le \lim_{m\to \infty} \sum_{k=1}^m \abs{\frac{\xi_k}k} \cdot \norm{\phi''}_\infty + \lim_{m\to \infty} \abs{\sum_{k=1}^m \frac 1k - \log m}\cdot \norm{\phi'}_\infty\\ &\le \sum_{m=1}^\infty \frac 1{k^2} \cdot \norm{\phi''} + \gamma \cdot \norm{\phi'}_\infty \end{align*} So $u$ is of order at most 2.

share|improve this answer
    
Thanks for the computation. I am more confused with the counter-example now but thanks. –  Bombyx mori Jun 20 '12 at 20:17

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.