Proving all derivatives of a function are bounded by another function

Click For Summary
SUMMARY

The discussion centers on proving that all orders of the derivative of the function \(\frac{e^{-(a+b)x}}{3+\cos(e^{-bx})}\) are bounded by \(\frac{C}{(1+x)^d}\) for any \(n\) and \(d > 0\). The user attempts to apply the General Leibniz Rule to derive the nth derivative but struggles with the behavior of the function as \(x\) approaches infinity. The conclusion drawn is that the left side is smooth and multiplied by an exponentially decaying function, suggesting boundedness, but the user requires further clarification on the behavior of the second function in the product.

PREREQUISITES
  • Understanding of derivatives and their properties
  • Familiarity with the General Leibniz Rule for differentiation
  • Knowledge of exponential functions and their decay behavior
  • Concept of Schwartz space and rapidly decreasing functions
NEXT STEPS
  • Study the General Leibniz Rule in detail to understand its application in proving derivative bounds
  • Research the properties of Schwartz space and how they relate to function behavior at infinity
  • Explore techniques for proving inequalities involving derivatives, particularly in the context of exponential decay
  • Examine examples of bounded derivatives in mathematical literature to gain insights into similar proofs
USEFUL FOR

Mathematicians, engineering students, and anyone interested in advanced calculus, particularly those dealing with derivative bounds and function behavior in analysis.

myshadow
Messages
30
Reaction score
1
I just ran into this problem and have no idea how to solve it. Basically I'm trying to prove that all orders of derivative of the given function is bounded by the function on the right. I'm pretty sure the inequality is true, but I really have no clue on how to prove it. I thought about using Leibniz Rule (I actually didn't know about it before), but I got stuck. I think I might be making it more complicated than it actually is.

Homework Statement



Prove

|d^n_x(\frac{e^{-(a+b)x}}{3+\cos(e^{-bx})})|≤\frac{C}{(1+x)^d}

for any n, any d>0, and all 0≤x<∞,

where a and b are constants greater than zero and C is a constant greater than zero that depends on d and n.

Homework Equations



General Leibniz Rule (relevant?)

f and g are n differentiable functions then the nth derivative is of their product is

(f\cdot g)^n=\sum_{k=0}^n \begin{pmatrix}n\\k\end{pmatrix}f^{(k)} g^{(n-k)},

where \begin{pmatrix}n\\k\end{pmatrix} is the binomial coefficient.

The Attempt at a Solution



I don't know if any of this is correct...

The function is analytical for all x and therefore smooth for all x. Hence, for n=0, the left side exponentially decays to zero. From here, for n=0, I don't know how to prove that the inequality is true for all d>0.

For n>0, since the function is smooth, I can apply Leibniz Rule as follows:

f=e^{-(a+b)x} and g=(3+\cos(e^{-bx}))^{-1}.

Then,

f^{(k)}=(-(a+b))^k e^{-(a+b)x}.

Therefore,

|d^n_x(\frac{e^{-(a+b)x}}{3+\cos(e^{-bx})})|=\sum_{k=0}^n \begin{pmatrix}n\\k\end{pmatrix}(-(a+b))^k (e^{-(a+b)x})g^{(n-k)}

Lastly, I guess I can argue, since the left side of the inequality is smooth and always multiplied by an exponentially decaying function, the left side is bounded.

I'm pretty sure my last step is wrong because I didn't show what the behaviour of the g^(n-k) is. Also, again I don't know what to do for the "any d>0" part. I'm really stuck and I have no idea what to do. I'm a mechanical engineer so my math skills aren't super advanced. Thanks in advance for any help.
 
Last edited:
Physics news on Phys.org
sorry for the double post, but I was looking more into this and I think this problem relates to Schwartz space or "function space of functions all of whose derivatives are rapidly decreasing."

"To put common language to this definition, we could note that a rapidly decreasing function is essentially a function f(x) such that f(x), f'(x), f''(x), ... all exist everywhere on the real line and go to zero as x goes to +/- infinity faster than any inverse power of x...ANY smooth function f with compact support is in Schwartz space." (according to Wikipedia)

I'm not really sure how to use any of this to prove/disprove the inequality above. Hopefully, someone else can understand this better than me. thanks.
 

Similar threads

  • · Replies 14 ·
Replies
14
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 5 ·
Replies
5
Views
1K
  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 2 ·
Replies
2
Views
1K
Replies
2
Views
2K