Why is $int_[0,1] fracdw1-wz$ is holomorphic in unit disc?

up vote
-1
down vote

favorite

Expanding on the question and answer in: Prove $f(z)=int_[0,1]frac11-wzdw$ is holomorphic in the open unit disk.

A First Course in Complex Analysis by Matthias Beck, Gerald Marchesi, Dennis Pixton, and Lucas Sabalka

Pf: Let $gamma subset D[0,1]$ be piecewise smooth and closed. Supposing f is continuous on $D[0,1]$. and we can switch integrals, we have:

$$int_gamma f(z) dz := int_gamma int_[0,1] fracdw1-wz dz$$

$$= int_[0,1] int_gamma fracdz1-wz dw tag*$$

Case 1: If $wne 0 (**)$, then $$w = Re(w) in [0,1] implies frac1w in [1,infty),$$ so $frac1w$ is not a singularity of the inner integral below:

$$= int_[0,1] frac-1w int_gamma fracdzz-frac1w dw tagA$$

Hence $frac1z-frac1w$ is holomorphic in $D[0,1]$. By Cor 4.20 or Cauchy's Integral Formula 4.27, $$int_gamma fracdzz-frac1w dw=0 to (A) = int_[0,1] frac-1w (0) dw = 0$$

$therefore$, by Morera's Thm 5.6, f is holomorphic in $D[0,1]$.

Case 2: If $w=0$, then we have

$$int_[0,1] int_gamma fracdz1-(0)z dw$$

This is justified because $w$ is fixed in the inner integral above. Now we have

$$ = int_[0,1] int_gamma fracdz1 dw$$

Now $frac11$ is entire, so by Cor 4.20 or Cauchy's Integral Formula 4.27

$$ = int_[0,1] 0 dw$$

$$ = 0$$

$therefore$, by Morera's Thm 5.6, f is holomorphic in $D[0,1]$.

QED

Where have I gone wrong?

To show $f$ is continuous on $D[0,1]$, I will argue that $f$ is an antiderivative of some function on $D[0,1]$. By definition, antiderivatives are holomorphic on the regions they're defined on and thus differentiable on said region and thus continuous on said region.

Define $g_z: D[0,1] to mathbb C, z in D[0,1]$ s.t. $g_z(t) := frac11-tz$. Observe $g_z$ is continuous on $D[0,1]$ and that $int_gamma g_z(t) dt = 0, forall gamma subset D[0,1]$, closed and piecewise smooth is actually what we argued earlier (so, I'm not using Cor 4.13, which would be circular!). Let $w_0 in D[0,1].$ By Thm 4.15, the function $F_gamma_w: D[0,1] to mathbb C$ where $gamma_w$ is any piecewise smooth path from $w_0$ to $w$ defined by $F(w) := int_gamma_w g_z(t) dt$ is an antiderivative for g on $D[0,1]$.

Now I'm stuck. I guess I can't pick $gamma_w = [0,1]$ to turn $F(w)$ into $f(z)$. How could I adjust this approach? I have a feeling there's some change of variable I'm missing or that I made a mistake with variables. I asked about this in another question: Find radius of $mathbb C$-power series

Alternatively to show $f$ is continuous, is there some way to justify switching limit and integral as follows $$lim_z to z_0 int_[0,1] fracdw1-wz = int_[0,1] lim_z to z_0 fracdw1-wz$$

I think this limit switching is precisely equivalent to $f$'s continuity in $D[0,1]$.

(*) How do we justify switching the two integrals please?

(**) What do we do about $w=0$? I have a feeling we can exclude like how $int_[2,3] 3x dx = int_(2,3] 3x dx$. Update: Added answer for $w=0$ based on nextpuzzle's answer.

Another route for continuity of $f$: Closed form of $int_[0,1] fracdw1-wz$ involving Ln?

P.S. Starting Ch8, I guess we can say that $f$ is holomorphic because it is analytic: Find a power series for $f(z)=int_[0,1]frac11-wzdw$.

edited yesterday

asked Jul 23 at 9:29

BCLC

6,89921973

add a commentÂ |Â

up vote
-1
down vote

favorite

Expanding on the question and answer in: Prove $f(z)=int_[0,1]frac11-wzdw$ is holomorphic in the open unit disk.

A First Course in Complex Analysis by Matthias Beck, Gerald Marchesi, Dennis Pixton, and Lucas Sabalka

Pf: Let $gamma subset D[0,1]$ be piecewise smooth and closed. Supposing f is continuous on $D[0,1]$. and we can switch integrals, we have:

$$int_gamma f(z) dz := int_gamma int_[0,1] fracdw1-wz dz$$

$$= int_[0,1] int_gamma fracdz1-wz dw tag*$$

Case 1: If $wne 0 (**)$, then $$w = Re(w) in [0,1] implies frac1w in [1,infty),$$ so $frac1w$ is not a singularity of the inner integral below:

$$= int_[0,1] frac-1w int_gamma fracdzz-frac1w dw tagA$$

Hence $frac1z-frac1w$ is holomorphic in $D[0,1]$. By Cor 4.20 or Cauchy's Integral Formula 4.27, $$int_gamma fracdzz-frac1w dw=0 to (A) = int_[0,1] frac-1w (0) dw = 0$$

$therefore$, by Morera's Thm 5.6, f is holomorphic in $D[0,1]$.

Case 2: If $w=0$, then we have

$$int_[0,1] int_gamma fracdz1-(0)z dw$$

This is justified because $w$ is fixed in the inner integral above. Now we have

$$ = int_[0,1] int_gamma fracdz1 dw$$

Now $frac11$ is entire, so by Cor 4.20 or Cauchy's Integral Formula 4.27

$$ = int_[0,1] 0 dw$$

$$ = 0$$

$therefore$, by Morera's Thm 5.6, f is holomorphic in $D[0,1]$.

QED

Where have I gone wrong?

To show $f$ is continuous on $D[0,1]$, I will argue that $f$ is an antiderivative of some function on $D[0,1]$. By definition, antiderivatives are holomorphic on the regions they're defined on and thus differentiable on said region and thus continuous on said region.

Alternatively to show $f$ is continuous, is there some way to justify switching limit and integral as follows $$lim_z to z_0 int_[0,1] fracdw1-wz = int_[0,1] lim_z to z_0 fracdw1-wz$$

I think this limit switching is precisely equivalent to $f$'s continuity in $D[0,1]$.

(*) How do we justify switching the two integrals please?

(**) What do we do about $w=0$? I have a feeling we can exclude like how $int_[2,3] 3x dx = int_(2,3] 3x dx$. Update: Added answer for $w=0$ based on nextpuzzle's answer.

Another route for continuity of $f$: Closed form of $int_[0,1] fracdw1-wz$ involving Ln?

P.S. Starting Ch8, I guess we can say that $f$ is holomorphic because it is analytic: Find a power series for $f(z)=int_[0,1]frac11-wzdw$.

edited yesterday

asked Jul 23 at 9:29

BCLC

6,89921973

add a commentÂ |Â

up vote
-1
down vote

favorite

Expanding on the question and answer in: Prove $f(z)=int_[0,1]frac11-wzdw$ is holomorphic in the open unit disk.

A First Course in Complex Analysis by Matthias Beck, Gerald Marchesi, Dennis Pixton, and Lucas Sabalka

Pf: Let $gamma subset D[0,1]$ be piecewise smooth and closed. Supposing f is continuous on $D[0,1]$. and we can switch integrals, we have:

$$int_gamma f(z) dz := int_gamma int_[0,1] fracdw1-wz dz$$

$$= int_[0,1] int_gamma fracdz1-wz dw tag*$$

Case 1: If $wne 0 (**)$, then $$w = Re(w) in [0,1] implies frac1w in [1,infty),$$ so $frac1w$ is not a singularity of the inner integral below:

$$= int_[0,1] frac-1w int_gamma fracdzz-frac1w dw tagA$$

Hence $frac1z-frac1w$ is holomorphic in $D[0,1]$. By Cor 4.20 or Cauchy's Integral Formula 4.27, $$int_gamma fracdzz-frac1w dw=0 to (A) = int_[0,1] frac-1w (0) dw = 0$$

$therefore$, by Morera's Thm 5.6, f is holomorphic in $D[0,1]$.

Case 2: If $w=0$, then we have

$$int_[0,1] int_gamma fracdz1-(0)z dw$$

This is justified because $w$ is fixed in the inner integral above. Now we have

$$ = int_[0,1] int_gamma fracdz1 dw$$

Now $frac11$ is entire, so by Cor 4.20 or Cauchy's Integral Formula 4.27

$$ = int_[0,1] 0 dw$$

$$ = 0$$

$therefore$, by Morera's Thm 5.6, f is holomorphic in $D[0,1]$.

QED

Where have I gone wrong?

To show $f$ is continuous on $D[0,1]$, I will argue that $f$ is an antiderivative of some function on $D[0,1]$. By definition, antiderivatives are holomorphic on the regions they're defined on and thus differentiable on said region and thus continuous on said region.

Alternatively to show $f$ is continuous, is there some way to justify switching limit and integral as follows $$lim_z to z_0 int_[0,1] fracdw1-wz = int_[0,1] lim_z to z_0 fracdw1-wz$$

I think this limit switching is precisely equivalent to $f$'s continuity in $D[0,1]$.

(*) How do we justify switching the two integrals please?

(**) What do we do about $w=0$? I have a feeling we can exclude like how $int_[2,3] 3x dx = int_(2,3] 3x dx$. Update: Added answer for $w=0$ based on nextpuzzle's answer.

Another route for continuity of $f$: Closed form of $int_[0,1] fracdw1-wz$ involving Ln?

P.S. Starting Ch8, I guess we can say that $f$ is holomorphic because it is analytic: Find a power series for $f(z)=int_[0,1]frac11-wzdw$.

edited yesterday

asked Jul 23 at 9:29

BCLC

6,89921973

Expanding on the question and answer in: Prove $f(z)=int_[0,1]frac11-wzdw$ is holomorphic in the open unit disk.

A First Course in Complex Analysis by Matthias Beck, Gerald Marchesi, Dennis Pixton, and Lucas Sabalka

Pf: Let $gamma subset D[0,1]$ be piecewise smooth and closed. Supposing f is continuous on $D[0,1]$. and we can switch integrals, we have:

$$int_gamma f(z) dz := int_gamma int_[0,1] fracdw1-wz dz$$

$$= int_[0,1] int_gamma fracdz1-wz dw tag*$$

Case 1: If $wne 0 (**)$, then $$w = Re(w) in [0,1] implies frac1w in [1,infty),$$ so $frac1w$ is not a singularity of the inner integral below:

$$= int_[0,1] frac-1w int_gamma fracdzz-frac1w dw tagA$$

Hence $frac1z-frac1w$ is holomorphic in $D[0,1]$. By Cor 4.20 or Cauchy's Integral Formula 4.27, $$int_gamma fracdzz-frac1w dw=0 to (A) = int_[0,1] frac-1w (0) dw = 0$$

$therefore$, by Morera's Thm 5.6, f is holomorphic in $D[0,1]$.

Case 2: If $w=0$, then we have

$$int_[0,1] int_gamma fracdz1-(0)z dw$$

This is justified because $w$ is fixed in the inner integral above. Now we have

$$ = int_[0,1] int_gamma fracdz1 dw$$

Now $frac11$ is entire, so by Cor 4.20 or Cauchy's Integral Formula 4.27

$$ = int_[0,1] 0 dw$$

$$ = 0$$

$therefore$, by Morera's Thm 5.6, f is holomorphic in $D[0,1]$.

QED

Where have I gone wrong?

To show $f$ is continuous on $D[0,1]$, I will argue that $f$ is an antiderivative of some function on $D[0,1]$. By definition, antiderivatives are holomorphic on the regions they're defined on and thus differentiable on said region and thus continuous on said region.

Alternatively to show $f$ is continuous, is there some way to justify switching limit and integral as follows $$lim_z to z_0 int_[0,1] fracdw1-wz = int_[0,1] lim_z to z_0 fracdw1-wz$$

I think this limit switching is precisely equivalent to $f$'s continuity in $D[0,1]$.

(*) How do we justify switching the two integrals please?

(**) What do we do about $w=0$? I have a feeling we can exclude like how $int_[2,3] 3x dx = int_(2,3] 3x dx$. Update: Added answer for $w=0$ based on nextpuzzle's answer.

Another route for continuity of $f$: Closed form of $int_[0,1] fracdw1-wz$ involving Ln?

P.S. Starting Ch8, I guess we can say that $f$ is holomorphic because it is analytic: Find a power series for $f(z)=int_[0,1]frac11-wzdw$.

edited yesterday

asked Jul 23 at 9:29

BCLC

6,89921973

edited yesterday

asked Jul 23 at 9:29

BCLC

6,89921973

asked Jul 23 at 9:29

BCLC

6,89921973

asked Jul 23 at 9:29

BCLC

6,89921973

add a commentÂ |Â

2 Answers
2

active

oldest

votes

up vote
1
down vote

accepted

You can interchange the integrals due to Fubini's theorem. Since the integrand is continuous on $[0,1]$ and the image of $gamma$, the integral of its absolute value is finite.

For $w=0$, you just don't do (A). Keep it as $$int_[0,1]int_gammafracdz1$$
As before the integral $int_gamma dz=0$ by Cauchy's theorem, or if you like by using that $frac11$ has $z$ as anti-derivative. The step (A) wasn't really necessary. You can argue that the inner integral in (*) is zero by Cauchy's theorem, without taking the $w$ out.

In (2), if you are going to show that $f$ has a derivative, then why do anything else? You can prove continuity directly. The function $g(w,z)=frac11-wz$ is continuous for $win[0,1]$ and $z$ in the open unit disc, and therefore $g$ is uniformly continuous on $[0,1]times K$ for $K$ a compact subset of the unit disc. Therefore, integrating with respect to $w$ in $[0,1]$ results in a continuous function on $K$.

edited Jul 23 at 10:22

BCLC

6,89921973

answered Jul 23 at 9:54

user578878

Thanks nextpuzzle. About Fubini's, what exactly is the elementary complex analysis statement please? I learned the general Fubini's in Stochastic Calculus. It wasn't discussed, proved or even stated in my stochastic calculus classes or advanced probability class, but I skimmed the chapter in Probability with Martingales. Sooo, to someone who knows elementary real analysis and doesn't know measure theory or even advanced real analysis, what is 'Fubini's theorem'?
â€“Â BCLC
Jul 23 at 10:14

1

@BCLC In the statement in the link, forget about the part that says $sigma$-finite measure. The integration that you are doing is over such a measure. That just means that the real line can be covered by countable many sets of finite length. For example, $[n,n+1]$. The other hypothesis is that one of the three three integrals listed is finite. In each, you are integrating a continuous function over a compact set. Therefore, any of them is finite.
â€“Â user578878
Jul 23 at 10:20

1

@BCLC You are trying to prove that $f$ is holomorphic by using Morera. Holomorphic on the unit disc means having complex derivative on in the unit disc. If you are going to show that $f$ has complex derivative, then that is the whole point. You either do it directly or use Morera or other method to do it indirectly.
â€“Â user578878
Jul 23 at 10:28

2

@BCLC You should read and think before "what?". You are the one that is in the process of learning this. First understand what you are being told before all that show. I said, you don't need to prove that $f$ is an antiderivate directly. That will be a consequence of Morera. If you were to prove that it is an antiderivative directly you would be done, and wouldn't need to use Morera. You do need to prove that it is continuous, a much weaker condition. I gave an argument above.
â€“Â user578878
Jul 23 at 10:57

1

@BCLC No, that is not what I said either. You can indeed prove that $f$ is an antiderivative. It will involve a bit of computation. If you do, you are done with the problem. The point of using Morera is maybe obtaining a proof without getting your hands dirty in calculus.
â€“Â user578878
Jul 23 at 11:36

Â |Â
show 5 more comments

up vote
0
down vote

No need to justify switching integrals. Just obtain a closed form of $f(z)$, which allows to prove continuity and that $int_gamma f =0$:

$$f(z) := int_[0,1] fracdw1-wz = -frac1zoperatornameLn(1-z)1_zne0 + 1_z=0,$$

$f(z)$ is continuous on $D[0,1]$ because $$lim_z to 0-frac1zoperatornameLn(1-z) = 1 = f(0)$$

$$int_gamma f(z) dz = int_gamma -frac1zoperatornameLn(1-z)1_zne0 + 1_z=0 dz$$

$$ = int_gamma -frac1zoperatornameLn(1-z)1_zne0 dz + int_gamma 1_z=0 dz = 0$$

Now all conditions of Morera's Thm 5.6 are satisfied without (explicit) reference to antiderivatives or Fubini's theorem, measure spaces, uniform continuity, etc

answered Jul 26 at 4:22

BCLC

6,89921973

add a commentÂ |Â

Your Answer

StackExchange.ifUsing("editor", function ()
return StackExchange.using("mathjaxEditing", function ()
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\$","\$"]]);
);
);
, "mathjax-editing");

StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "69"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);

else
createEditor();

);

function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
convertImagesToLinks: true,
noModals: false,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);

);

draft saved

draft discarded

StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2860170%2fwhy-is-int-0-1-fracdw1-wz-is-holomorphic-in-unit-disc%23new-answer', 'question_page');

);

Post as a guest

Name

2 Answers
2

active

oldest

votes

2 Answers
2

active

oldest

votes

up vote
1
down vote

accepted

You can interchange the integrals due to Fubini's theorem. Since the integrand is continuous on $[0,1]$ and the image of $gamma$, the integral of its absolute value is finite.

edited Jul 23 at 10:22

BCLC

6,89921973

answered Jul 23 at 9:54

user578878

Thanks nextpuzzle. About Fubini's, what exactly is the elementary complex analysis statement please? I learned the general Fubini's in Stochastic Calculus. It wasn't discussed, proved or even stated in my stochastic calculus classes or advanced probability class, but I skimmed the chapter in Probability with Martingales. Sooo, to someone who knows elementary real analysis and doesn't know measure theory or even advanced real analysis, what is 'Fubini's theorem'?
â€“Â BCLC
Jul 23 at 10:14

1

@BCLC In the statement in the link, forget about the part that says $sigma$-finite measure. The integration that you are doing is over such a measure. That just means that the real line can be covered by countable many sets of finite length. For example, $[n,n+1]$. The other hypothesis is that one of the three three integrals listed is finite. In each, you are integrating a continuous function over a compact set. Therefore, any of them is finite.
â€“Â user578878
Jul 23 at 10:20

1

@BCLC You are trying to prove that $f$ is holomorphic by using Morera. Holomorphic on the unit disc means having complex derivative on in the unit disc. If you are going to show that $f$ has complex derivative, then that is the whole point. You either do it directly or use Morera or other method to do it indirectly.
â€“Â user578878
Jul 23 at 10:28

2

@BCLC You should read and think before "what?". You are the one that is in the process of learning this. First understand what you are being told before all that show. I said, you don't need to prove that $f$ is an antiderivate directly. That will be a consequence of Morera. If you were to prove that it is an antiderivative directly you would be done, and wouldn't need to use Morera. You do need to prove that it is continuous, a much weaker condition. I gave an argument above.
â€“Â user578878
Jul 23 at 10:57

1

@BCLC No, that is not what I said either. You can indeed prove that $f$ is an antiderivative. It will involve a bit of computation. If you do, you are done with the problem. The point of using Morera is maybe obtaining a proof without getting your hands dirty in calculus.
â€“Â user578878
Jul 23 at 11:36

Â |Â
show 5 more comments

up vote
1
down vote

accepted

You can interchange the integrals due to Fubini's theorem. Since the integrand is continuous on $[0,1]$ and the image of $gamma$, the integral of its absolute value is finite.

edited Jul 23 at 10:22

BCLC

6,89921973

answered Jul 23 at 9:54

user578878

Thanks nextpuzzle. About Fubini's, what exactly is the elementary complex analysis statement please? I learned the general Fubini's in Stochastic Calculus. It wasn't discussed, proved or even stated in my stochastic calculus classes or advanced probability class, but I skimmed the chapter in Probability with Martingales. Sooo, to someone who knows elementary real analysis and doesn't know measure theory or even advanced real analysis, what is 'Fubini's theorem'?
â€“Â BCLC
Jul 23 at 10:14

1

@BCLC In the statement in the link, forget about the part that says $sigma$-finite measure. The integration that you are doing is over such a measure. That just means that the real line can be covered by countable many sets of finite length. For example, $[n,n+1]$. The other hypothesis is that one of the three three integrals listed is finite. In each, you are integrating a continuous function over a compact set. Therefore, any of them is finite.
â€“Â user578878
Jul 23 at 10:20

1

@BCLC You are trying to prove that $f$ is holomorphic by using Morera. Holomorphic on the unit disc means having complex derivative on in the unit disc. If you are going to show that $f$ has complex derivative, then that is the whole point. You either do it directly or use Morera or other method to do it indirectly.
â€“Â user578878
Jul 23 at 10:28

2

@BCLC You should read and think before "what?". You are the one that is in the process of learning this. First understand what you are being told before all that show. I said, you don't need to prove that $f$ is an antiderivate directly. That will be a consequence of Morera. If you were to prove that it is an antiderivative directly you would be done, and wouldn't need to use Morera. You do need to prove that it is continuous, a much weaker condition. I gave an argument above.
â€“Â user578878
Jul 23 at 10:57

1

@BCLC No, that is not what I said either. You can indeed prove that $f$ is an antiderivative. It will involve a bit of computation. If you do, you are done with the problem. The point of using Morera is maybe obtaining a proof without getting your hands dirty in calculus.
â€“Â user578878
Jul 23 at 11:36

Â |Â
show 5 more comments

up vote
1
down vote

accepted

You can interchange the integrals due to Fubini's theorem. Since the integrand is continuous on $[0,1]$ and the image of $gamma$, the integral of its absolute value is finite.

edited Jul 23 at 10:22

BCLC

6,89921973

answered Jul 23 at 9:54

user578878

You can interchange the integrals due to Fubini's theorem. Since the integrand is continuous on $[0,1]$ and the image of $gamma$, the integral of its absolute value is finite.

edited Jul 23 at 10:22

BCLC

6,89921973

answered Jul 23 at 9:54

user578878

edited Jul 23 at 10:22

BCLC

6,89921973

edited Jul 23 at 10:22

BCLC

6,89921973

edited Jul 23 at 10:22

BCLC

6,89921973

answered Jul 23 at 9:54

user578878

answered Jul 23 at 9:54

user578878

answered Jul 23 at 9:54

user578878

Thanks nextpuzzle. About Fubini's, what exactly is the elementary complex analysis statement please? I learned the general Fubini's in Stochastic Calculus. It wasn't discussed, proved or even stated in my stochastic calculus classes or advanced probability class, but I skimmed the chapter in Probability with Martingales. Sooo, to someone who knows elementary real analysis and doesn't know measure theory or even advanced real analysis, what is 'Fubini's theorem'?
â€“Â BCLC
Jul 23 at 10:14

1

@BCLC In the statement in the link, forget about the part that says $sigma$-finite measure. The integration that you are doing is over such a measure. That just means that the real line can be covered by countable many sets of finite length. For example, $[n,n+1]$. The other hypothesis is that one of the three three integrals listed is finite. In each, you are integrating a continuous function over a compact set. Therefore, any of them is finite.
â€“Â user578878
Jul 23 at 10:20

1

@BCLC You are trying to prove that $f$ is holomorphic by using Morera. Holomorphic on the unit disc means having complex derivative on in the unit disc. If you are going to show that $f$ has complex derivative, then that is the whole point. You either do it directly or use Morera or other method to do it indirectly.
â€“Â user578878
Jul 23 at 10:28

2

@BCLC You should read and think before "what?". You are the one that is in the process of learning this. First understand what you are being told before all that show. I said, you don't need to prove that $f$ is an antiderivate directly. That will be a consequence of Morera. If you were to prove that it is an antiderivative directly you would be done, and wouldn't need to use Morera. You do need to prove that it is continuous, a much weaker condition. I gave an argument above.
â€“Â user578878
Jul 23 at 10:57

1

@BCLC No, that is not what I said either. You can indeed prove that $f$ is an antiderivative. It will involve a bit of computation. If you do, you are done with the problem. The point of using Morera is maybe obtaining a proof without getting your hands dirty in calculus.
â€“Â user578878
Jul 23 at 11:36

Â |Â
show 5 more comments

Thanks nextpuzzle. About Fubini's, what exactly is the elementary complex analysis statement please? I learned the general Fubini's in Stochastic Calculus. It wasn't discussed, proved or even stated in my stochastic calculus classes or advanced probability class, but I skimmed the chapter in Probability with Martingales. Sooo, to someone who knows elementary real analysis and doesn't know measure theory or even advanced real analysis, what is 'Fubini's theorem'?
â€“Â BCLC
Jul 23 at 10:14

1

@BCLC In the statement in the link, forget about the part that says $sigma$-finite measure. The integration that you are doing is over such a measure. That just means that the real line can be covered by countable many sets of finite length. For example, $[n,n+1]$. The other hypothesis is that one of the three three integrals listed is finite. In each, you are integrating a continuous function over a compact set. Therefore, any of them is finite.
â€“Â user578878
Jul 23 at 10:20

1

@BCLC You are trying to prove that $f$ is holomorphic by using Morera. Holomorphic on the unit disc means having complex derivative on in the unit disc. If you are going to show that $f$ has complex derivative, then that is the whole point. You either do it directly or use Morera or other method to do it indirectly.
â€“Â user578878
Jul 23 at 10:28

2

@BCLC You should read and think before "what?". You are the one that is in the process of learning this. First understand what you are being told before all that show. I said, you don't need to prove that $f$ is an antiderivate directly. That will be a consequence of Morera. If you were to prove that it is an antiderivative directly you would be done, and wouldn't need to use Morera. You do need to prove that it is continuous, a much weaker condition. I gave an argument above.
â€“Â user578878
Jul 23 at 10:57

1

@BCLC No, that is not what I said either. You can indeed prove that $f$ is an antiderivative. It will involve a bit of computation. If you do, you are done with the problem. The point of using Morera is maybe obtaining a proof without getting your hands dirty in calculus.
â€“Â user578878
Jul 23 at 11:36

Thanks nextpuzzle. About Fubini's, what exactly is the elementary complex analysis statement please? I learned the general Fubini's in Stochastic Calculus. It wasn't discussed, proved or even stated in my stochastic calculus classes or advanced probability class, but I skimmed the chapter in Probability with Martingales. Sooo, to someone who knows elementary real analysis and doesn't know measure theory or even advanced real analysis, what is 'Fubini's theorem'?
â€“Â BCLC
Jul 23 at 10:14

@BCLC In the statement in the link, forget about the part that says $sigma$-finite measure. The integration that you are doing is over such a measure. That just means that the real line can be covered by countable many sets of finite length. For example, $[n,n+1]$. The other hypothesis is that one of the three three integrals listed is finite. In each, you are integrating a continuous function over a compact set. Therefore, any of them is finite.
â€“Â user578878
Jul 23 at 10:20

@BCLC You are trying to prove that $f$ is holomorphic by using Morera. Holomorphic on the unit disc means having complex derivative on in the unit disc. If you are going to show that $f$ has complex derivative, then that is the whole point. You either do it directly or use Morera or other method to do it indirectly.
â€“Â user578878
Jul 23 at 10:28

@BCLC You should read and think before "what?". You are the one that is in the process of learning this. First understand what you are being told before all that show. I said, you don't need to prove that $f$ is an antiderivate directly. That will be a consequence of Morera. If you were to prove that it is an antiderivative directly you would be done, and wouldn't need to use Morera. You do need to prove that it is continuous, a much weaker condition. I gave an argument above.
â€“Â user578878
Jul 23 at 10:57

@BCLC No, that is not what I said either. You can indeed prove that $f$ is an antiderivative. It will involve a bit of computation. If you do, you are done with the problem. The point of using Morera is maybe obtaining a proof without getting your hands dirty in calculus.
â€“Â user578878
Jul 23 at 11:36

Â |Â
show 5 more comments

up vote
0
down vote

No need to justify switching integrals. Just obtain a closed form of $f(z)$, which allows to prove continuity and that $int_gamma f =0$:

$$f(z) := int_[0,1] fracdw1-wz = -frac1zoperatornameLn(1-z)1_zne0 + 1_z=0,$$

$f(z)$ is continuous on $D[0,1]$ because $$lim_z to 0-frac1zoperatornameLn(1-z) = 1 = f(0)$$

$$int_gamma f(z) dz = int_gamma -frac1zoperatornameLn(1-z)1_zne0 + 1_z=0 dz$$

$$ = int_gamma -frac1zoperatornameLn(1-z)1_zne0 dz + int_gamma 1_z=0 dz = 0$$

Now all conditions of Morera's Thm 5.6 are satisfied without (explicit) reference to antiderivatives or Fubini's theorem, measure spaces, uniform continuity, etc

answered Jul 26 at 4:22

BCLC

6,89921973

add a commentÂ |Â

up vote
0
down vote

No need to justify switching integrals. Just obtain a closed form of $f(z)$, which allows to prove continuity and that $int_gamma f =0$:

$$f(z) := int_[0,1] fracdw1-wz = -frac1zoperatornameLn(1-z)1_zne0 + 1_z=0,$$

$f(z)$ is continuous on $D[0,1]$ because $$lim_z to 0-frac1zoperatornameLn(1-z) = 1 = f(0)$$

$$int_gamma f(z) dz = int_gamma -frac1zoperatornameLn(1-z)1_zne0 + 1_z=0 dz$$

$$ = int_gamma -frac1zoperatornameLn(1-z)1_zne0 dz + int_gamma 1_z=0 dz = 0$$

Now all conditions of Morera's Thm 5.6 are satisfied without (explicit) reference to antiderivatives or Fubini's theorem, measure spaces, uniform continuity, etc

answered Jul 26 at 4:22

BCLC

6,89921973

add a commentÂ |Â

up vote
0
down vote

No need to justify switching integrals. Just obtain a closed form of $f(z)$, which allows to prove continuity and that $int_gamma f =0$:

$$f(z) := int_[0,1] fracdw1-wz = -frac1zoperatornameLn(1-z)1_zne0 + 1_z=0,$$

$f(z)$ is continuous on $D[0,1]$ because $$lim_z to 0-frac1zoperatornameLn(1-z) = 1 = f(0)$$

$$int_gamma f(z) dz = int_gamma -frac1zoperatornameLn(1-z)1_zne0 + 1_z=0 dz$$

$$ = int_gamma -frac1zoperatornameLn(1-z)1_zne0 dz + int_gamma 1_z=0 dz = 0$$

Now all conditions of Morera's Thm 5.6 are satisfied without (explicit) reference to antiderivatives or Fubini's theorem, measure spaces, uniform continuity, etc

answered Jul 26 at 4:22

BCLC

6,89921973

No need to justify switching integrals. Just obtain a closed form of $f(z)$, which allows to prove continuity and that $int_gamma f =0$:

$$f(z) := int_[0,1] fracdw1-wz = -frac1zoperatornameLn(1-z)1_zne0 + 1_z=0,$$

$f(z)$ is continuous on $D[0,1]$ because $$lim_z to 0-frac1zoperatornameLn(1-z) = 1 = f(0)$$

$$int_gamma f(z) dz = int_gamma -frac1zoperatornameLn(1-z)1_zne0 + 1_z=0 dz$$

$$ = int_gamma -frac1zoperatornameLn(1-z)1_zne0 dz + int_gamma 1_z=0 dz = 0$$

Now all conditions of Morera's Thm 5.6 are satisfied without (explicit) reference to antiderivatives or Fubini's theorem, measure spaces, uniform continuity, etc

answered Jul 26 at 4:22

BCLC

6,89921973

answered Jul 26 at 4:22

BCLC

6,89921973

answered Jul 26 at 4:22

BCLC

6,89921973

answered Jul 26 at 4:22

BCLC

6,89921973

add a commentÂ |Â

draft saved

draft discarded

draft saved

draft discarded

Post as a guest

Name

Search This Blog

ukmuiik