Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

It is provable that $f_\lambda\to f\Rightarrow f_\lambda*g\to f*g$ if $g$ has a compact support (shown in my textbook). In my particular case, $g=u(t+\triangle t)-u(t-\triangle t)$. Does for that particular case, $f_\lambda*g\to f*g\Rightarrow f_\lambda\to f$?

In other words: It is easy to prove that the existence of $\lim_{\lambda\to\lambda_0}\langle f_\lambda(t),\phi(t)\rangle$ implies existence of $\lim_{\lambda\to\lambda_0}\langle f_\lambda(t),\int_{t-\triangle t}^{t+\triangle t}\phi(\tau)d\tau\rangle$ where $\phi(t)$ denotes test function, and $f$ can be a distribution (since $\int_{t-\triangle t}^{t+\triangle t}\phi(\tau)d\tau$ is a test function itself). I am wondering does the converse hold, i.e. does the existence of latter limit imply existence of the former (note that not all test functions are expressible as $\int_{t-\triangle t}^{t+\triangle t}\phi(\tau)d\tau$)?

It may be a silly question, but it would be of much use to know the answer: proof if it holds, or a counterexample if doesn't.

share|improve this question
1  
Which convergence(s) are you interested in? –  Thorny Mar 26 '10 at 8:23
    
Weak convergence in first elaboration, point wise in second - does that answer make sense? (I am not a functional analyst - and my f.a. background is pretty poor, this is just an issue I come up in a paper) Third elaboration: does existence of $w.\lim_{\lambda\to\lambda_0}\int_{t-\triangle t}^{t+\triangle t} f_\lambda(\tau)\tau$ imply existence of $w.\lim_{\lambda\to\lambda_0} f_\lambda(t)$? –  Harun Šiljak Mar 26 '10 at 8:59
1  
What is $u$ ? –  Mariano Suárez-Alvarez Mar 26 '10 at 11:44
    
Oh, I forgot: $u$ is the unit step function. $u(t)=\begin{cases} 0, & t < 0, \\ 1, & t \ge 0, \end{cases}$ –  Harun Šiljak Mar 26 '10 at 11:55
add comment

1 Answer

up vote 3 down vote accepted

If I understand correctly what you are asking then the answer is: "No".

Here's where I may be misunderstanding: I assume that $\Delta t$ is fixed. If this is correct, we can argue as follows.

Let me write $r = \Delta t$ since it is fixed and I want to disassociate it from $t$. We consider the operator $A_r \colon C^\infty_c(\mathbb{R}) \to C^\infty_c(\mathbb{R})$ defined by

$$ A_r(\phi)(t) = \int_{t - r}^{t + r} \phi(\tau) d \tau $$

We want to extend this function to the space of distributions, $\mathcal{D} = C^\infty_c(\mathbb{R})$. To do this, we look for an adjoint as per the nlab page on distributions (particularly the section operations on distributions; note that my notation is chosen to agree with that page so it's hopefully easy to compare). So for two test functions, $\phi, \psi \in C^\infty_c(\mathbb{R})$ we calculate as follows:

$$ \begin{array}{rl} \langle \psi, A_r(\phi)\rangle &= \int_{\mathbb{R}} \psi(t) A_r(\phi)(t) d t \\ &= \int_{\mathbb{R}} \psi(t) \int_{t - r}^{t + r} \phi(\tau) d \tau d t \\ &= \int_{\mathbb{R}} \int_{t - r}^{t + r} \psi(t) \phi(\tau) d \tau d t \\ &= \int_{\mathbb{R}} \int_{\tau - r}^{\tau + r} \psi(t) \phi(\tau) d t d \tau \\ &= \int_{\mathbb{R}} A_r(\psi)(\tau) \phi(\tau) d \tau \\ &= \langle A_r(\psi), \phi \rangle \end{array} $$

When we do the switch in order of integration, it's useful to draw the region of integration in the plane (I used a table "cloth" in a restaurant here in Copacabana!). It's a diagonal swathe and looks the same when flipped about the line $x = y$ (don't do this with a table cloth unless you've taken the plates off it first.).

So $A_r$ is self-adjoint and we extend it to distributions by the formula $\langle A_r(T), \phi \rangle = \langle T, A_r(\phi)\rangle$.

Now we come to your question. You have $(T_\lambda)$ such that $\langle T_\lambda, A_r(\phi)\rangle \to \langle T, A_r(\phi) \rangle$ for each test function $\phi$. Using the definition of the extension of $A_r$, this is the same as saying that $(A_r(T_\lambda)) \to A_r(T)$ weakly. You want to know if this implies that $(T_\lambda) \to T$.

To answer this, we consider $A_r$. Unfortunately for you, it has a non-trivial kernel. Note that we are now working with distributions, so can allow things with non-compact support (otherwise it wouldn't have a non-trivial kernel). For $A_r(S) = 0$ we simply require that $S$ integrate to $0$ over every interval of length $2 r$. If we pick $S$ an integrable function with period $2 r$ then this is quite easy to arrange: almost all such functions integrate to $0$ over such intervals. In particular, $S = \sin(\pi t/r)$ will do.

But now we can add random amounts of $S$ to each $T_\lambda$ thus ensuring that $(T_\lambda)$ does not converge (okay, the amounts are not quite random: we choose them such that the resulting sequence does not converge, but this is always possible). However, since $A_r$ does not "see" $S$, $(A_r(T_\lambda + \alpha_\lambda S))$ still converges.

As I said, I'm not convinced that I understood the question correctly so please do comment if this doesn't look right. But if it doesn't look right, please edit your question so that it's clearer that this isn't what you wanted.

share|improve this answer
add comment

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.