How to find out if f and f' are continuous?

  • Thread starter twoflower
  • Start date
  • Tags
    Continuous
In summary: I don't see anything in the statement of the original problem to suggest restricting the domain. I see no problem with negative x. The even n terms are all even functions of x, and the odd n terms are odd functions of x. The terms certainly go quickly to...
  • #1
twoflower
368
0
Hi,
my task is:

Analyse continuity of f and f' on their domain, if
[tex]
f(x) = \sum_{n=1}^{\infty} \arcsin x^{n}
[/tex]

No idea how to do that comes to my mind, I assume it will have something to do with uniform convergence but can't see any proper theorem, maybe More-Osgood, but it is rather confusing for me.

Would somebody help please?
 
Physics news on Phys.org
  • #2
twoflower said:
Hi,
my task is:

Analyse continuity of f and f' on their domain, if
[tex]
f(x) = \sum_{n=1}^{\infty} \arcsin x^{n}
[/tex]

No idea how to do that comes to my mind, I assume it will have something to do with uniform convergence but can't see any proper theorem, maybe More-Osgood, but it is rather confusing for me.

Would somebody help please?
How about Weierstrass' Theorem:

If [itex] \{a_n\}[/itex] is a set of positive numbers and:


[tex]|f_n(x)|\leq a_n \quad\text{for all n and}\quad[/tex]

[tex]\sum_{n=1}^{\infty}a_n \quad\text{converges then: }\quad[/tex]

[tex]\sum_{n=1}^{\infty}f_n(x) \quad\text{converges uniformly.}\quad[/tex]

Now, what values of x would make these relations hold? I'm not sure about x values outside of this range.
 
  • #3
saltydog said:
How about Weierstrass' Theorem:

If [itex] \{a_n\}[/itex] is a set of positive numbers and:


[tex]|f_n(x)|\leq a_n \quad\text{for all n and}\quad[/tex]

[tex]\sum_{n=1}^{\infty}a_n \quad\text{converges then: }\quad[/tex]

[tex]\sum_{n=1}^{\infty}f_n(x) \quad\text{converges uniformly.}\quad[/tex]

Now, what values of x would make these relations hold? I'm not sure about x values outside of this range.

Well, I can't see the connection between this and continuity of f and f' anyway...
 
  • #4
twoflower said:
Well, I can't see the connection between this and continuity of f and f' anyway...

Well here we go then: Right out of my Analysis text:

If [itex]\{u_n\} [/itex] is a sequence of continuous functions and if:

[tex]\sum_{n=1}^{\infty}u_n [/tex]

converges uniformly to f (on some domain), then f is continuous on that domain.
 
  • #5
Twoflower, I'm thinking the sum is:

[tex]\sum_{n=1}^{\infty}(Arcsin(x))^n[/tex]

If that's the case, then we can compare it to a simple geometric series with Arcsin(x)<1. However, I'm thinking that's not your question but rather:

[tex]\sum_{n=1}^{\infty}Arcsin(x^n)[/tex]

Although I suspect the same reasoning applies I'm not sure about it. Sorry.
 
  • #6
twoflower said:
Hi,
my task is:

Analyse continuity of f and f' on their domain, if
[tex]
f(x) = \sum_{n=1}^{\infty} \arcsin x^{n}
[/tex]

No idea how to do that comes to my mind, I assume it will have something to do with uniform convergence but can't see any proper theorem, maybe More-Osgood, but it is rather confusing for me.

Would somebody help please?

I may be missing the whole point, but I don't know the context of your problem. Is convergence really the issue here? There are values of x in the domain of [itex] \arcsin x[/itex] for which every term in the sum for f(x) will be > 1, and it will not converge. The domain of [itex] \arcsin' x[/itex] is the same as the domain of [itex] \arcsin x[/itex] except that the interval is open instead of closed. If you take the derivative term by term, I expect you can easily show convergence of f'(x), but all you need to show I think is continuity, and you can do that term by term.
 
  • #7
OlderDan said:
I may be missing the whole point, but I don't know the context of your problem. Is convergence really the issue here? There are values of x in the domain of [itex] \arcsin x[/itex] for which every term in the sum for f(x) will be > 1, and it will not converge. The domain of [itex] \arcsin' x[/itex] is the same as the domain of [itex] \arcsin x[/itex] except that the interval is open instead of closed. If you take the derivative term by term, I expect you can easily show convergence of f'(x), but all you need to show I think is continuity, and you can do that term by term.

Hello OlderDan. Suppose we restrict the domain to values of x in the range of:

[tex](-\sqrt{Sin(1)}<x<\sqrt{Sin(1)})}[/tex]

Thus [itex]x^n[/itex] will always be in this range and therefore, the Arcsin of the value will always be less than one. The function sequence quickly drops to zero. Does it converge uniformly when x>0 in the range? What about when x is negative in the range?. How to show that if so? Well, it's not my homework. Twoflower, don't you want to know?
 
  • #8
saltydog said:
Hello OlderDan. Suppose we restrict the domain to values of x in the range of:

[tex](-\sqrt{Sin(1)}<x<\sqrt{Sin(1)})}[/tex]

Thus [itex]x^n[/itex] will always be in this range and therefore, the Arcsin of the value will always be less than one. The function sequence quickly drops to zero. Does it converge uniformly when x>0 in the range? What about when x is negative in the range?. How to show that if so? Well, it's not my homework. Twoflower, don't you want to know?

I don't see anything in the statement of the original problem to suggest restricting the domain. I see no problem with negative x. The even n terms are all even functions of x, and the odd n terms are odd functions of x. The terms certainly go quickly to zero if you stay away from |x| = 1. Maybe the point of the problem is that the high n terms abruptly change from 0 to pi/2 at x = 1, so maybe you need to identify the domain of both f and f' as the open interval (-1, 1). Like I said, I don't know the context, so maybe this is suppoed to be forrmulated as some kind of convergence problem. I don't think you have to approach it that way.
 
  • #9
OlderDan said:
I don't see anything in the statement of the original problem to suggest restricting the domain. I see no problem with negative x. The even n terms are all even functions of x, and the odd n terms are odd functions of x. The terms certainly go quickly to zero if you stay away from |x| = 1. Maybe the point of the problem is that the high n terms abruptly change from 0 to pi/2 at x = 1, so maybe you need to identify the domain of both f and f' as the open interval (-1, 1). Like I said, I don't know the context, so maybe this is suppoed to be forrmulated as some kind of convergence problem. I don't think you have to approach it that way.

It's just standalone exercise from example analyse test I'm going to write. I thought it could have something to do with uniform convergence because we were just doing it and I know there are connections between continuity and uniform convergence. The right answer should be:

Functions f and f' are defined on (-1, 1) and are continuous there.

Anyway, f is defined on [-1, 1], isn't it? I know on this interval it isn't uniformly convergent, but that's all I know.
 
  • #10
Hello guys. I'd like, if you don't mind, something definitive on the matter. You too Twoflower?

So we have:

[tex]f(x) = \sum_{n=1}^{\infty} \arcsin( x^{n})[/tex]

Now, f(1) is not defined. It goes to infinity.

Now, f(-1) is not defined. It oscillates between 0 and [itex]-\frac{\pi}{2}[/itex] depending on whether n is even or odd.

So, this much seems clear: f(x) is defined on (-1,1).
(I was wrong about the square root stuf).

Now, is it uniformly convergent there? I suspect it is but I can't prove it. Can someone help?
 
  • #11
For |x|<1 it should not be hard to find a comparison test that will prove it. You might try looking at the ratio

[tex]\frac{ \arcsin( x^{n})}{1/x^n}[/tex]
 
  • #12
OlderDan said:
For |x|<1 it should not be hard to find a comparison test that will prove it. You might try looking at the ratio

[tex]\frac{ \arcsin( x^{n})}{1/x^n}[/tex]

Thanks. I'll work with it. It's an interesting topic for me but I'm just not clear at all of how to approach convergence of function series on a "global level". That is, what determines when one series converges and the other doesn't. I would think there would exist some boundary that would separate them and that some algebraic structure of the function itself would be apparent to identify members of the each set. But that's good enough Dan. Don't want to distract you and others from the real homework help. :smile:
 
  • #13
saltydog said:
Thanks. I'll work with it. It's an interesting topic for me but I'm just not clear at all of how to approach convergence of function series on a "global level". That is, what determines when one series converges and the other doesn't. I would think there would exist some boundary that would separate them and that some algebraic structure of the function itself would be apparent to identify members of the each set. But that's good enough Dan. Don't want to distract you and others from the real homework help. :smile:

There are a number of different tests for convergence. I've probably forgotten more of them than I remember, but if you just do a google on "Tests for convergence" you will find them.
 
  • #14
Try comparing [tex]|\arcsin x^n|[/tex] with [tex]2|x|^n[/tex], this will handle uniform convergence by the Weierstrass test in post 2 (on what kind of interval?). Continuity of f follows from the theorem in post 4 (note that knowing the individual terms are contininuous does not imply that the limit will be a continuous function without uniform convergence).

You can show that the termwise derivatives converge uniformly to *something* in a similar way. Knowing that the arcsin(x^n) series converges will tell you that this *something* is in fact f' (standard kind of result in analysis texts, included is the result that f' actually exists) and continuity will follow (as the derivatives of arcsin(x^n) are continuuous).
 
  • #15
That should do it Shmoe. Thanks. If you don't mind, I'd like to present a formal proof for my benefit as well as others who may be interested in this. My only concern is in the use of the Weierstrass test, the series to be compared to must be a positive sequence of numbers but below, I must specify that this sequence is such that |x|<b<1. I think that's Ok. Right?

First I'll state the Weierstrass M-Test:

If [itex]u_n(x)[/itex] is a set of functions on an interval M and if there exists a sequence [itex]a_n[/itex] of positive numbers such that:

[tex]\sum_{n=1}^{\infty}a_n[/tex]

converges and:

[tex]|u_n(x)|\leq a_n\quad\text{for every}\quad x\in M[/tex]

and every positive integer n. Then:

[tex]\sum_{n=1}^{\infty}u_n(x)\quad\text{converges uniformly on M}\quad[/tex]

Now consider the first plot below which shows:

[tex] y(x)=arcsin(x) [/tex]
[tex] g(x)=\frac{\pi}{2}x[/tex]

The straight line is [itex]g(x)=\frac{\pi}{2}x[/itex].

This clearly shows:

[tex]|\arcsin(u)|\leq\frac{\pi}{2}|u| \quad\text{for}\quad u\in (-1,1)[/tex]

Thus we can say:

[tex]|arcsin(x^n)|\leq \frac{\pi}{2}|x^n|\leq 2|b^n|\quad\text{for all}\quad x\in(-1,1)[/tex]

with:

[tex]|x|<b<1[/tex]

Now:

[tex]\sum_{n=1}^{\infty}2b^n[/tex]

is a geometric series and converges.

Thus the function sequence:

[tex]\sum_{n=1}^{\infty}\arcsin(x^n)[/tex]

Converges uniformly to a continuous function f(x) in the interval (-1,1).

QED (thanks to Shmoe)
 

Attachments

  • fseries.JPG
    fseries.JPG
    7.6 KB · Views: 399
Last edited:
  • #16
shmoe said:
Try comparing [tex]|\arcsin x^n|[/tex] with [tex]2|x|^n[/tex]

Wouldn't that be "Try comparing [tex]|\arcsin x^n|[/tex] with [tex]\frac{2}{|x|^n}[/tex]" or am I missing something?

I was holding out on the "2" :smile:
 
  • #17
saltydog said:
Hello Dan.

-1<x<1 I believe is the interval of convergence. Thus it's correct to say:

[tex]2|x^n|[/tex].

DOH! Yeah.. I was just driving home thinking what a dumb mistake that was hoping I could delete it before anyone saw it :uhh:
 

What is the definition of continuity in calculus?

The formal definition of continuity in calculus is that a function f(x) is continuous at a point x=a if the limit of f(x) as x approaches a from both the right and left sides is equal to f(a).

How can I determine if a function is continuous at a given point?

To determine if a function is continuous at a given point, you can evaluate the limit of the function at that point and see if it is equal to the value of the function at that point. If it is, then the function is continuous at that point.

What is the difference between a continuous and a differentiable function?

A continuous function is one that has no breaks or jumps in its graph, while a differentiable function is one that has a well-defined derivative at every point in its domain. In other words, a differentiable function is always continuous, but a continuous function is not necessarily differentiable at every point.

Can a function be continuous but not differentiable?

Yes, a function can be continuous but not differentiable. This happens when the function has a sharp turn or corner at a point, since the derivative at that point would not exist.

How can I determine if a function is continuous on an interval?

To determine if a function is continuous on an interval, you can evaluate the limit of the function at the endpoints of the interval and see if they are equal to the value of the function at those points. If they are, then the function is continuous on that interval.

Similar threads

  • Calculus and Beyond Homework Help
Replies
6
Views
358
Replies
2
Views
759
Replies
4
Views
721
Replies
0
Views
309
  • Topology and Analysis
Replies
5
Views
2K
  • Differential Equations
Replies
1
Views
757
  • Calculus and Beyond Homework Help
Replies
3
Views
400
  • Math Proof Training and Practice
Replies
7
Views
821
Replies
3
Views
1K
  • Introductory Physics Homework Help
Replies
5
Views
570
Back
Top