Any important inequalities with convolutions?

  • Context: Graduate 
  • Thread starter Thread starter jostpuur
  • Start date Start date
  • Tags Tags
    Important Inequalities
Click For Summary
SUMMARY

This discussion focuses on finding upper bounds for the derivatives of convolutions, specifically exploring the relationship between functions f and g. A significant result presented is that |D_x(f*g)(x)| ≤ ||f'|| ||g||1, which provides a foundational inequality for analyzing convolutions. The conversation also highlights the challenges posed by functions with spikes, indicating that traditional bounds may not be effective in such cases. Participants are encouraged to contribute additional insights or alternative upper bounds for |D_x(f*g)(x)|.

PREREQUISITES
  • Understanding of convolution operations in functional analysis
  • Familiarity with derivatives and their properties
  • Knowledge of L1 and L norms
  • Experience with approximation techniques in mathematical analysis
NEXT STEPS
  • Research advanced properties of convolutions in functional analysis
  • Study the implications of spikes in functions on convolution derivatives
  • Explore alternative upper bounds for derivatives of convolutions
  • Investigate the use of smooth approximations for functions with discontinuities
USEFUL FOR

Mathematicians, analysts, and researchers working with convolution operations, particularly those interested in functional analysis and the behavior of derivatives in the presence of discontinuities.

jostpuur
Messages
2,112
Reaction score
19
I am interested to know who to find upper bounds for derivatives of convolutions. If I know something of [itex]f[/itex] and [itex]g[/itex], are there any major results about what kind of numbers [itex]C_{f,g}[/itex] exist such that

[tex] |D_x((f *g)(x))| \leq C_{f,g} ?[/tex]
 
Physics news on Phys.org
Truth is that I didn't think about that much before posting. I thought that it would probably be better to ask about old results, before trying to come up with own ones.

But now, after very short thinking, I already came up with one very natural result. It seems that the following is true:

[tex] |D_x(f*g)(x)| \leq \|f'\|_{\infty} \|g\|_1[/tex]

It could be that this is what I was after. If somebody has something else to add, I'm still all ears.
 
Suppose [itex]\psi[/itex] is a function, which is mostly smooth, but has a little spike somewhere so that [itex]\psi'[/itex] jumps badly. Also suppose that the spike is so small that the values of [itex]\psi[/itex] don't jump very much. Only the derivative jumps. And suppose that [itex]\varphi[/itex] is some typical convolution kernel, which is approximately a delta function, but still so wide that it makes the spike in [itex]\psi[/itex] almost vanish.

It should be possible to prove that [itex]D_x(\varphi *\psi)(x)[/itex] is almost the same as [itex]\psi'(x)[/itex] with exception of the [itex]x[/itex] that is close to the little spike. Close to the spike [itex]\psi'(x)[/itex] jumps, but [itex]D_x(\varphi *\psi)(x)[/itex] behaves as if the spike did not exist.

Approximation

[tex] |D_x(\varphi *\psi)(x)| \leq \|\varphi'\|_{\infty} \|\psi\|_1[/tex]

is useless because [itex]\|\varphi'\|_{\infty}[/itex] is very large, and

[tex] |D_x(\varphi *\psi)(x)| \leq \|\psi'\|_{\infty} \|\varphi\|_1[/tex]

is useless too because [itex]\|\psi'\|_{\infty}[/itex] is very large because of the spike.

So there must be some other upper bound for [itex]|D_x(f *g)(x)|[/itex], better than the one I mentioned in the #2 post.
 
Last edited:

Similar threads

  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 3 ·
Replies
3
Views
3K
Replies
0
Views
2K
  • · Replies 22 ·
Replies
22
Views
3K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 18 ·
Replies
18
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K