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

The Hilbert transform on the real Hilbert space $L^2(\mathbb R)$ is the singular integral operator $$ \mathcal H(f)(x) := \frac{1}{\pi} \int_{-\infty}^\infty \frac{1}{x-y} f(y) dy. $$

It satisfies $\mathcal H^2=-Id_{L^2(\mathbb R)}$, and in that sense, it is a complex structure on the Hilbert space $L^2(\mathbb R)$ of real-valued, square integrable functions on the real line.


I am wondering if there are other operators $\tilde {\mathcal H}:L^2(\mathbb R)\to L^2(\mathbb R)$ with similar properties.

Question: Does there exists a function $K:\mathbb R^2\to \mathbb R$ with the following properties:

  • The function $K(x,y)$ looks like $\frac{1}{x-y}$ in a neighborhood of the diagonal $x=y$
    (here, by "looks like", I mean for instance as "$K(x,y) = \frac{1}{x-y} +$ smooth function").

  • The singular integral operator $$ > \tilde {\mathcal H}(f)(x) := \frac{1}{\pi} \int_{-\infty}^\infty K(x,y) f(y) dy. > $$ satisfies $\tilde {\mathcal H}^2=-Id_{L^2(\mathbb R)}$, and thus defines a complex structure on $L^2(\mathbb R)$.

  • The function $K$ goes to zero faster than $\frac{1}{x-y}$ along the antidiagonals.
    Namely, it satisfies $$ > \forall x\in \mathbb R,\qquad\qquad \lim_{t\to \infty}\;\;\;\; t\cdot K(t,x-t) = 0. > $$


Variant: In case it turns out difficult to produce an example of an operator $\tilde {\mathcal H}:L^2(\mathbb R)\to L^2(\mathbb R)$ as above, I would be happy to replace $L^2(\mathbb R)$ by $L^2(\mathbb R;\mathbb R^n)$, the Hilbert space of $\mathbb R^n$-valued $L^2$ functions on the real line.

In that case, I would be looking for an integral kernel $$ K:\mathbb R^2\to \mathit{Mat}_{n\times n}(\mathbb R) $$ with all the properties listed above.


Right now, I actually believe that such an integral kernel does not exist, but this is purely a gut feeling...
If someone has any ideas about how to prove the non-existence of $\tilde {\mathcal H}:L^2(\mathbb R)\to L^2(\mathbb R)$ with the above properties, then I would very interested to hear them.

share|improve this question
    
Could you explain the third condition? E.g. when $K=1/(x-y)$ one gets $t \cdot K(t,x-t) = t/(2t-x) $... –  Piero D'Ancona Apr 29 '11 at 21:53
    
@:Piero. That's right. And $lim_{t\to\infty}t/(2t-x)$ is not zero. But if you have something like $K=1/(x-y)^\alpha$ with $\alpha>1$, then you get $lim_{t\to\infty}t/(2t-x)^\alpha=0$. –  André Henriques Apr 30 '11 at 2:23
    
Well, if K=K(x-y) then the operator is translation invariant, then it is a constant coefficient pseudodifferential operator with a symbol $a(\xi)$, and by your second condition $a(\xi)$ must take only the values $\pm i$. Thus you have jump singularities in the symbol which should always produce a decay of order $\sim t^{-1}$. I guess. –  Piero D'Ancona Apr 30 '11 at 13:54
    
@Piero: I do not require translation invariance. But I agree with you that it looks like it's not possible to achieve my decay condition. –  André Henriques Apr 30 '11 at 14:31
add comment

2 Answers

EDIT: This solution does not satisfy the third condition, which rules out the Hilbert transform itself. So, this is an answer to different question. I do not delete it in hope it may be useful for someone.

Let $\phi(x)$ be a smooth monotone function such that $x-\phi(x)$ has compact support. This is a diffeomorphism of the real line and the pullback $\phi^*$ is a linear operator acting on $L^2(\mathbb R)$. The singular integral operator $$(\phi^*)^{-1}{\mathcal H}\phi^*$$ has all the properties you need.

share|improve this answer
add comment

It is possible also to reason thus. Too fast decay could lead to compactness of the operator if not in $L_2$ then in some suitably defined spaces. And this cannot be since its degree is identity and the last operator is compact only in finite dimension spaces.

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.