How can we prove f(x,y) is differentiable using induction?

Click For Summary

Discussion Overview

The discussion revolves around proving the differentiability of the function f(x,y) = xy(x² + y²) - N for specific values of N (2, 1, and 1/2) using induction. Participants explore strategies for demonstrating Cω-differentiability, focusing on the continuity of derivatives and potential use of polar coordinates.

Discussion Character

  • Exploratory
  • Technical explanation
  • Mathematical reasoning

Main Points Raised

  • One participant suggests using induction to show that f remains continuous after taking n+1 derivatives with respect to x.
  • Another participant proposes that working in polar coordinates could simplify the analysis of f.
  • A third participant clarifies that proving Cω-differentiability requires not only the existence of derivatives but also a power series expansion, which allows for term-by-term differentiation.
  • It is noted that if a(x) and b(x) are analytic functions, their sum is also analytic, which may relate to the overall strategy for proving differentiability.

Areas of Agreement / Disagreement

Participants express different strategies for proving differentiability, indicating that multiple approaches are being considered without a consensus on the best method.

Contextual Notes

The discussion does not resolve the specific assumptions required for the induction proof or the conditions under which the power series expansion is valid.

Who May Find This Useful

Readers interested in advanced calculus, real analysis, or the properties of analytic functions may find this discussion relevant.

raphael3d
Messages
45
Reaction score
0
Consider the real function f(x,y)=xy(x2+y2)-N,in the respective cases N = 2,1, and 1/2. Show that in each case the function is differentiable (C[tex]\omega[/tex]) with respect to x, for any fixed y-value.

whats the strategy for proving C[tex]\omega[/tex]-differentiability here? i have to show with induction that f is still continuos after n+1 derivatives with respect to x, or am i wrong?

seems like, one has to look after a pattern in the continued derivatives of f, for write down the (n+1)nth derivative.

on the other hand, one might have the differential quotient in mind, taking the limit, meeting a boundary condition(in the complex domain the radius of convergence), but i could only think of the 1th derivative here.
 
Last edited:
Physics news on Phys.org
It'd be easier to work with polar coordinates, where f takes the form
(1/2)sin 2theta /r^(N-2).
 
[tex]C^{\omega}[/tex] is the set of analytic functions. Not only do all its derivatives need to exist (proving that the n+1st derivative is continuous isn't enough, you need that it's differentiable since otherwise you don't have the next derivative existing) but it also has a power series expansion

On the other hand, if you prove that you have a power series expansion, then as long as it converges uniformly you know you can differentiate term by term so the differentiability portion is solved immediately. So the hard part most likely is just finding the power series
 
If a(x) and b(x) are analytic functions of x, then so is a(x)+b(x).
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 9 ·
Replies
9
Views
4K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 32 ·
2
Replies
32
Views
4K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 3 ·
Replies
3
Views
4K
Replies
7
Views
4K