How to prove if f(x) is infinitely differentiable

In summary, the function f(x) = x^5ln(x) is not a proof of infinite differentiability. To prove this, we can use the Taylor expansion and the fact that the product of two infinitely differentiable functions is also infinitely differentiable. However, there may be other methods that do not involve power series. The uniqueness of the Taylor series of a function can be found in various textbooks or online resources.
  • #1
j-lee00
95
0
Say I have the function

[tex] f(x) = x^5ln(x) [/tex]

I can differentiate [tex]f(x)[/tex] say 6 times and I'm left with just [tex]ln(x)[/tex]. But this is not a proof!

How do I go about proving it?

Could I use the Taylor expansion?
 
Physics news on Phys.org
  • #2
In general, I'm not sure what the best way to prove infinitive differentiability is, but in this case: taylor expansion would work very well (because there is such a nice clean answer).
 
  • #3
If f(x) and g(x) are differentiable n times, then f(x)g(x) is differentiable n times (proof by induction). So if f(x) and g(x) are differentiable infinitely many times, so is f(x)g(x).
 
  • #4
Office_Shredder said:
If f(x) and g(x) are differentiable n times, then f(x)g(x) is differentiable n times (proof by induction). So if f(x) and g(x) are differentiable infinitely many times, so is f(x)g(x).

Say [tex]f(x)=x^5[/tex] and [tex]g(x)=ln(x)[/tex] but f(x) is not infinitely differentiable ?
 
  • #5
x^5 is infinitely differentiable. Why? Also, if I ask you for the nth derivative of some function h(x), for any value of n, and you can give it to me, would you agree that h(x) is infinitely differentiable?
 
  • #6
Tedjn said:
x^5 is infinitely differentiable. Why? Also, if I ask you for the nth derivative of some function h(x), for any value of n, and you can give it to me, would you agree that h(x) is infinitely differentiable?

So if the derivative = 0, then it is still differentiable?
 
  • #7
Yes. To see this, just apply the definition of derivative to f(x) = 0.
 
  • #8
I'm wondering if i can go about saying that the taylor expansion of x^5 * ln(x) is equal to the taylor expansion of x^5 multiply the taylor expansion of ln(x). Since ln(x) is infinitely differentiable, x^5 * ln(x) is also infinitely differentiable..
 
  • #9
The taylor series is unique for a given function so if you find a series which fits the taylor series form, then it is the taylor series of that function. The problem with x5*ln(x) is that ln(x) doesn't have a taylor series expansion about 0.
 
  • #10
j-lee00 said:
Say I have the function

[tex] f(x) = x^5ln(x) [/tex]

I can differentiate [tex]f(x)[/tex] say 6 times and I'm left with just [tex]ln(x)[/tex]. But this is not a proof!

How do I go about proving it?

Could I use the Taylor expansion?

If you differentiate [tex] f[/tex] 6 times you are not left with [tex] \ln(x) [/tex].
 
  • #11
Wizlem said:
The taylor series is unique for a given function so if you find a series which fits the taylor series form, then it is the taylor series of that function. The problem with x5*ln(x) is that ln(x) doesn't have a taylor series expansion about 0.

Simply out of curousity.. Where can i find the proof for the uniqueness of taylor series of function?
 
  • #12
icystrike said:
Simply out of curousity.. Where can i find the proof for the uniqueness of taylor series of function?
Well, there's not really anything to prove: the Taylor series is defined as some special power series, namely whose coefficients a_n are explicitly prescribed: some constant times the n-th derivative. Otherwisre see here.

Interesting (in complex analysis): two convergent power series which coincide on an infinite set with 0 as accumulation point, must be equal. See e.g. Serge Lang's book, p.62.
 
Last edited:
  • #13
Using power series is a weak way to do this. For example, you could expand ln(x) as a power series around x=1, and x5 as a power series around x=1, but when you multiply them you get a power series with a radius of convergence of 1 (because that's the radius of convergence of ln(x)). So how do I know that the function is infinitely differentiable at x=7?
 
  • #14
Here's what I would do:

1. Every polynomial of degree n can be differentiated (n+1) times before vanishing (it is n+1 times differentiable).
2. Thus, an infinite order polynomial is infinitely differentiable.
3. The power series expansion of ln x is of infinite degree. This expansion absorbs the x^5 term, merely creating another infinite degree expansion with each term 5 degrees higher. This combined expansion is infinitely differentiable.

I don't know what rigor my proof lacks, but that's my take if it's at all valuable.

NVM: I ignored radius of convergence as pointed out by the previous poster. HOWEVER, can one use analytic continuation to "cover" the entire domain of the function?
 
  • #15
Jilvin said:
Here's what I would do:

1. Every polynomial of degree n can be differentiated (n+1) times before vanishing (it is n+1 times differentiable).
A polynomial is infinitely differentiable - every derivative after the n+1st is zero, but that is immaterial.
2. Thus, an infinite order polynomial is infinitely differentiable.
There is no such thing as an infinite order polynomial.
3. The power series expansion of ln x is of infinite degree. This expansion absorbs the x^5 term, merely creating another infinite degree expansion with each term 5 degrees higher. This combined expansion is infinitely differentiable.
This is correct heuristically, and may be all the OP needs. But I would expect that the statements made in (1) and (2) would still run afoul of his/her professor's grading. The correct terms must be used. Even so, it is possible to show that the function is infinitely differentiable without resorting to power series.
 
  • #16
Multiplying two infinitely differentiable functions gives an infinitely differentiable function (the details for why are sketched above). This doesn't need to be more complicated than it is
 

1. How can I prove that f(x) is infinitely differentiable?

The most common way to prove that f(x) is infinitely differentiable is to use the definition of a differentiable function and show that the limit of the difference quotient exists for all values of x. This can be done by taking the derivative of f(x) and showing that it exists, and then repeating the process for the resulting derivative until the limit is reached.

2. What is the difference between a function being differentiable and infinitely differentiable?

A function is considered differentiable if its derivative exists at every point in its domain. A function is considered infinitely differentiable if it has derivatives of all orders at every point in its domain. In other words, a function is infinitely differentiable if it can be differentiated an infinite number of times.

3. Can a function be infinitely differentiable at some points and not at others?

No, a function must be infinitely differentiable at every point in its domain in order to be considered infinitely differentiable. If a function is not differentiable at any point in its domain, it cannot be infinitely differentiable.

4. How can I use the Taylor series to prove that a function is infinitely differentiable?

The Taylor series is a representation of a function as an infinite sum of its derivatives at a certain point. If a function is infinitely differentiable, its Taylor series will converge to the function at every point in its domain. Therefore, if the Taylor series of a function converges to the function at every point, the function is infinitely differentiable.

5. Is it possible for a function to be infinitely differentiable but not analytic?

Yes, it is possible for a function to be infinitely differentiable but not analytic. A function is considered analytic if it can be represented by a power series. While all analytic functions are infinitely differentiable, the reverse is not necessarily true. A function can be infinitely differentiable, but not have a power series representation, thus making it not analytic.

Similar threads

Replies
1
Views
1K
Replies
11
Views
2K
Replies
46
Views
4K
Replies
2
Views
1K
  • Calculus
Replies
11
Views
2K
Replies
14
Views
2K
Replies
9
Views
1K
Replies
11
Views
1K
  • Calculus
Replies
6
Views
1K
Back
Top