Complex analysis: I have to find sequence of C^inf functions that

  • #1

Homework Statement


... if fj are holomorphic on an open set U and fj [itex]\stackrel{uniformly}{\rightarrow}[/itex] f on compact subsets of U then δ/δz(fj) [itex]\stackrel{uniformly}{\rightarrow}[/itex] δ/δz(f) on compact subsets of U. Give an example to show that if the word "holomorphic" is replaced by "infinitely differentiable" then the result is false.

Homework Equations


The above.


The Attempt at a Solution


I've used the disk D(0, 1) and all of the obvious choices: |z|, [itex]\overline{z}[/itex], etc. None of them work. It seems that their derivatives exhibit similar behaviour to the functions themselves, i.e., converge uniformly on that disk. I've considered some wackier functions like ln(z) but finding the real and imaginary parts of the function and doing partial derivatives is, shall we put it mildly, a chore. Can anyone hrlp me plz?
 

Answers and Replies

  • #2
Dick
Science Advisor
Homework Helper
26,260
619
Think about the real function ##f_n(x)=e^{-\frac{1}{nx}}## for x>0 and ##f_n(x)=0## for x<=0. Can you prove that's infinitely differentiable? What the limit function like as n->infinity?
 
  • #3
Thanks for the response, Dick.

The problem is that in complex analysis "infinitely differentiable" means something different: if a function is of the form f(z) = u + iv then the two "parts" have to have continuous partial derivatives w/r to x (real part) and y (imaginary part).

Unfortunately your example takes a while to put into the above format, and I fear that all my work will be for nothing ...
 
  • #4
Apologies if you know all of that, by the way, and I'm just not seeing what's obvious!
 
  • #5
Dick
Science Advisor
Homework Helper
26,260
619
Thanks for the response, Dick.

The problem is that in complex analysis "infinitely differentiable" means something different: if a function is of the form f(z) = u + iv then the two "parts" have to have continuous partial derivatives w/r to x (real part) and y (imaginary part).

Unfortunately your example takes a while to put into the above format, and I fear that all my work will be for nothing ...

I guess I don't see the problem. Just extend the real function to the complex plane. Define u to be my ##f_n## and v to be 0.
 
  • #6
... I am officially an idiot. Thank you.
 

Related Threads on Complex analysis: I have to find sequence of C^inf functions that

Replies
4
Views
1K
Replies
3
Views
9K
Replies
13
Views
2K
Replies
6
Views
850
Replies
0
Views
1K
Replies
15
Views
532
Replies
2
Views
3K
  • Last Post
Replies
7
Views
834
Top