This seems to be the correct place for complex analysis. Here's the problem I'm working on:

Let be the disk , and let be the unit disk . Let be an analytic function on .

(a) Let . Show that for any , , we have:

(b) Show that if , then:,

(c) Let be a family of analytic functions on for which there exists such that:.
Show that is a normal family.

For (c), a normal family is one in which every sequence in has a subsequence that converges uniformly on compact subsets.

Unless I'm missing something, (b) follows from (a) by just taking the absolute value:
and since this must be true for all , taking the limit as goes to gives

I'm still lost on (a) and (c), though.

Thanks,
Hollywood

Sep 14th 2012, 05:09 PM

johnsomeone

Re: analytic function on unit disk

Just skimming it, it looks like (a) is just the statement of the mean value property for the harmonic functions Re(f(z)) and Im(f(z)). I think that's proven in the "integral over a bounding circle" form by citing Cauchy's Theorem that the counter clockwise integral of an holomorphic function (throughout the interior too) around a closed curve of f(z) / ( f(z)-f(a) ) = 2 pi i f(a). Then put that "mean value property:boundary circle" into "mean value property:disk" form by applying Stokes theorem. Something like that - I think that's how it can be done. Maybe I'll try to work it out later. Good luck.

Sep 15th 2012, 01:32 AM

hollywood

Re: analytic function on unit disk

Thank you. The "integral over bounding circle" version follows directly from the Cauchy integral formula, as you said.

It turns out to be just a special case of the Poisson integral formula: If a real-valued function is harmonic in a neighborhood of the closed disk , then for any point in the open disk , .

Setting and to zero gives .

I think now all I need to do is integrate with respect to :
since the area element in polar coordinates is . This gives the real part, and the imaginary part is the same, so we get the required result.

Any ideas for part (c)?

Sep 15th 2012, 06:06 AM

johnsomeone

Re: analytic function on unit disk

Going from the usual mean value (average on the bounding circle) to the area form by integrating - that's elegant. It's been a while, but surely that's how it's usually derived - too pretty not to be.

I've an idea for how to attack (c), though I haven't sat down and worked it out, so maybe it doesn't work. And it's just to get the limit function; I haven't thought about the uniformity of the convergence.

Start with a compact subset of B(0,1). It's a subset of a closed ball D = closure of B(0,r) for some r<1. From part (b), all f in the family share the same bound for |f| on D. My thought is to exploit that they all have power series centered at 0 converging on all of B(0,1), in order to find a limit function by examining the coefficients of the power series, one at a time.

From Cauchy's Integral Formula, that bound on all the |f| means that all the functions in the family also share a bound for |f(0)|, call it M1. Then all the f(0), for f in that family, are in the closed disk D(0,M1). Thus they have a limit point, and so some subfamily can be choosen so that its associated set of f(0) values has a limit point point.

Now with that subfamily, do the same thing for each f'(0) = K integral(Circle,r) f(z)/z^2, so that can get a bound for the |f'(0)| on that subfamily, so that all the f'(0)'s are in some closed ball D(0,M2). Thus choose a sub-sub-family that has their f'(0) values converging.

Now do f''(0), and so forth, forever. Voila - a limit function.

Since this is all happening in D(0,r), the error terms should go to 0. If doing it "one coefficient at a time" is somehow a problem when worked out, could perhaps examine the countably infinite product of compact D(0,Mi)'s, which is compact (Tychonoff), and the points (f(0), f'(0), f''(0), ... ) in it for each function in the family in order to get the limit function.

For the issue of the original compact K growing out toward the boundary of the unit disk: this limit function would remain the same, right? Previously found functions on "smaller" compact K's would still work, since they're simply a power series based at 0 - so a bunch of coefficients that won't be changing. Besides, at 0 is far away from where the K is changing. Also, since these functions are analytic in B(0,1), they're entirely determined by their values in any B(0,epsilon). At each step, the value of the bounds that guaranteed a limit point would change as these compact K's grew, but the bounds themselves didn't matter (though perhaps they would in some argument for uniformity?) Only that they were bound was what really mattered, as that guaranteed that there was some limit point providing the needed convergent subsequence.

Does all this actually work? Even if it does, does it give uniform convergence on all compact sets? I dunno. It's just what's come to mind.

Sep 21st 2012, 07:04 AM

johnsomeone

Re: analytic function on unit disk

I think I've gotten (c). I kept trying to force it into a "Weierstrass M Test", but, if there's a way to do it like that, I didn't find it.

My previous post outlined how to get some convergent subsequence, and it works out. I won't do it here, as this is already really long, and it's less interesting than the uniform convergence. For the uniform convergence on compact subsets, the details of the function converged to turn out not to matter, so my thoughts about trying to control the f were wrong.
You only need to say enough about f to make it continuous in order to get the uniform convergence - though to get the "normal family", you need to also show it's holomorphic in the open unit disk. The later actually isn't hard, since f is defined as a power series.
(If you try to do it, use Cauchy integral formula for the derivatives at 0, on a radius of r = sqrt(n/(n+2)) for the nth derivative, which gives the smallest values. Ratio test for the radius of convergence will then rely on the (1+1/m)^m limit for e, and will give you convergence in the open unit ball about 0, making the f so defined holomorphic there.)

Prop: Suppose as given in the problem), and pointwise on , to some .
Then for every compact subset of , then the convergence is uniform on .

Outline of proof:

.

Locally: will control the 1st term by a lemma below (the real meat of this problem), the 2nd term by pointwise convergence, and the 3rd term by "on compact spaces, continous implies uniformly continuous."
Then will use that K is compact to show that the same N works for all of K.

Proof:

Fix .

Since , have that . Thus f is uniformly continuous on K, so such that:

if then .

Now, for each , do the following:

By the lemma, , and ( and depending on ) such that

.

Let . Clearly, . Then for every n:

,

and so .

Have shown that for every n, .

The last part is to observe that pointwise on , so .

Let . Obviously . Let , obviously open in .

Then and implies that:

1) , so , so .

2) , so .

3) , so . Thus since , have .

Putting 1, 2, 3 together:

(*) Therefore, for each , there's a pair such that and implies .

Now label these, for each , as and . Since is an open neighborhood of in ,

have that is an open cover of the compact K, hence it admits a finite subcover .

Let .

Let .

Then for any , have for some .

But also , so . By (*), this proves that .

Thus given , have produced an such that for all and for all , .

Therefore the convergence is uniform on K.

Lemma:

if , then .
Proof:

Let (to keep everything inside ). Let .

Then , and .

Thus

.

Will prove the lemma by showing that that integral is bounded by a value that depends only on M and , (actually, only on ).

Montel's Theorem (Theorem 6.5.5 in Greene & Krantz):
Let be an open set and let be a family of holomorphic functions on that is bounded on compact sets. Then for every sequence there is a subseqence that converges normally on to a limit (necessarily holomorphic) function .

We are given that is a family of holomorphic functions on the open set . To apply Montel's Theorem, then, we only need to show that is bounded on compact sets. If is a compact set, then the continuous function achieves a maximum on . Let be that maximum. Then since , is strictly less than 1. So there is strictly less than 1 for which for all .

Now the trick is to invoke part (b): We are given that for all . So for all , where , so since we are given that , so since .
Since and are fixed, is bounded on , and since was arbitrary, is bounded on compact sets, so we can apply Montel's Theorem.

The conclusion of Montel's Theorem, that for every sequence there is a subseqence that converges uniformly on compact subsets of to a holomorphic limit function , matches the definition of a normal family. So we have our result.

Sep 24th 2012, 04:34 AM

johnsomeone

Re: analytic function on unit disk

Yep - Montel's theorem does it quickly using your argument.

Actually, what I did is a proof of half of Montel's Theorem - the uniform convergence half (not the existence of a convergent subsequence half) - since it all takes place on a compact subset of the domain. It's basically word for word a proof, with only the 3 lines in my lemma that would need to change. The line in the lemma starting with "Now, by part (b) and , have ..." is the first of 3 successive lines who's only point is to establish that there's bound for that family on a certain subset of that compact set. Those three lines would be replaced by one sentence saying that there's a bound on that family based directly on the premise of Montel's Thm. (Well, now that I think about it, I'd have to worry about points in compact sets having empty interiors - though I could "grow" the compact set to a "nice" one to avoid that - but, I suppose there would be some additional arguments I'd need to add.)

It actually isn't as long as it seems - it's just that I filled in virtually all the details. It could be written up much more briefly. I think the Lemma is the interesting part; the main proof is just a standard "epsilon over three argument".

Nov 8th 2012, 11:20 AM

joshcooper

Re: analytic function on unit disk

I use analysis all the time, for the seo company I work for, because I use the Analytic Tools to measure site statistics, CPC, CTR, and overall conversions This looks rather complex though. Basically, I have to deal with equations, percentages, fractions, averages, and alike. But this, wow!!

Nov 19th 2012, 08:37 PM

wallisonline

Re: analytic function on unit disk

Complex Analysis: prove exists a zero of an analytic function in a region?

This forum is super complex, is anyone in the Florida or boca raton seo area??

Dec 6th 2012, 09:35 PM

babynancy543

Re: analytic function on unit disk

Like any other industry, look for reputation. BBEX, for example, is a Boca Raton marketing company that is really effective at boosting organic rankings. They use ethical SEO (search engine optimization) practices.