(08/19/2022, 05:54 AM)Leo.W Wrote:

(08/19/2022, 05:35 AM)JmsNxn Wrote: Leo, If a function is holomorphic in a neighborhood of \(0\), then it is expandable in a taylor series at \(0\).

If a functions IS NOT holomorphic in a neighborhood of \(0\), then it IS NOT expandable in a taylor series at \(0\).

What Baker is saying, is that there is a divergent series at \(0\)--THEREFORE, it is not holomorphic in a neighborhood of \(0\).

(*) Unless it is an LFT-- by which it wouldn't be a Euclidean mapping

But James, holomorphic refers to differentiable, not the convergent Taylor series, it can have divergent series, as mostly hypergeometric functions do?
Here's another example, consider \(f(z)=\sum_{n\ge0}{_2\mathrm{F}_0(n,a;;c)z^n}\), this function diverges because all its coefficients refers to a divergent series, \(_2\mathrm{F}_0(n,a;;c)=\sum_{k\ge0}{\frac{(a)_k(n)_k}{k!}c^n}\), but still can be continued by \(f(z)=-cze^{\frac{z-1}{c}}\big(\frac{z-1}{c}\big)^{a-1}\Gamma(1-a,\frac{z-1}{c})\), choosing proper a, the function is holomorphic, has a divergent series in some sense but indeed a convergent series(Borel sum).

Quote:Ps. what if you don't consider the petals of log⁡(1+z)? because e^z−1 maps Re(z)<−M for very large M into the neighborhood of 0, that is why I defined the branch cuts, so that taking both petals of log⁡(1+z) and a "petal" strip from Re(z)<0∧|Im(z)|<1 produces a holomorphic halfiterate at 0

I wonder if you'd try this?

(08/19/2022, 06:17 AM)JmsNxn Wrote:

(08/19/2022, 05:54 AM)Leo.W Wrote:

(08/19/2022, 05:35 AM)JmsNxn Wrote: Leo, If a function is holomorphic in a neighborhood of \(0\), then it is expandable in a taylor series at \(0\).

If a functions IS NOT holomorphic in a neighborhood of \(0\), then it IS NOT expandable in a taylor series at \(0\).

What Baker is saying, is that there is a divergent series at \(0\)--THEREFORE, it is not holomorphic in a neighborhood of \(0\).

(*) Unless it is an LFT-- by which it wouldn't be a Euclidean mapping

But James, holomorphic refers to differentiable, not the convergent Taylor series, it can have divergent series, as mostly hypergeometric functions do?
Here's another example, consider \(f(z)=\sum_{n\ge0}{_2\mathrm{F}_0(n,a;;c)z^n}\), this function diverges because all its coefficients refers to a divergent series, \(_2\mathrm{F}_0(n,a;;c)=\sum_{k\ge0}{\frac{(a)_k(n)_k}{k!}c^n}\), but still can be continued by \(f(z)=-cze^{\frac{z-1}{c}}\big(\frac{z-1}{c}\big)^{a-1}\Gamma(1-a,\frac{z-1}{c})\), choosing proper a, the function is holomorphic, has a divergent series in some sense but indeed a convergent series(Borel sum).

Quote:Ps. what if you don't consider the petals of log⁡(1+z)? because e^z−1 maps Re(z)<−M for very large M into the neighborhood of 0, that is why I defined the branch cuts, so that taking both petals of log⁡(1+z) and a "petal" strip from Re(z)<0∧|Im(z)|<1 produces a holomorphic halfiterate at 0

I wonder if you'd try this?

LEO!

Have you not heard of Cauchy's theorem.

If a function is complex differentiable, it is expandable in a taylor series.

If a taylor series converges, it is complex differentiable!!!!

HOLOMORPHY = TAYLOR SERIES EXPANDABLE

(08/19/2022, 07:05 AM)JmsNxn Wrote: Okay, Leo, I love our dialogue. Please don't feel any persecution. I think your solution, and what you've described is very valuable. But it is an asymptotic expansion; upon which Taylor data will fail.

If you have an asymptotic expansion at \(z = 0\), and you know the Taylor expansion at \(z=0\) diverges--Then the function \(f(z)\) can be holomorphic around values near \(z=0\). But it cannot be holomorphic on \(|z| < \delta\). So essentially, yes you can still have holomorphy near 0, but you can't actually have holomorphy at \(0\). And I think this is your largest confusion.

Again, I hope I'm not seeming like a dick, trying to discourage your constructions. I think they are very fucking valuable. But in this scenario, I think you need to identify that you haven't created a holomorphic function \(g(g(z)) = e^z-1\) for \(|z| < \delta\). You've created an asymptotic expansion (same as Gottfrieds), but you've massaged it to make it look nearly holomorphic (which is still a great accomplishment).

At the risk of sounding like a broken record; \(g\) can't be holomorphic on an \(\epsilon\)-ball centered at \(z = 0\). BUT! It can be holomorphic everywhere around this point. Which reduces into two branches \(g^{\pm}\) which are holomorphic on \(\mathbb{C}/(-\infty,0]\) or \(\mathbb{C}/[0,\infty)\). So they are holomorphic near zero--but never at zero.

I don't want to seem like a dick; I'm just saying you need to reevaluate the constructions you are making in this instance. I have absolute confidence in much of your constructions. But it's okay to take a loss every once in a while. I mean, confidence and strength of conviction as a mathematician is important. But we need to understand and accept when we made a mistake.

Quite frankly, I would like to better understand how you are making your asymptotic solution. Which looks fucking beautiful, and you should be proud of it. But remember, this IS NOT HOLOMORPHIC FOR \(z = 0\).

That's my only disagreement.

(08/19/2022, 04:36 AM)Leo.W Wrote: Also, you can't define julia's function only by \(j(f)=jf'\), to distinct a julia function, you'd need to define an initial value, and claim it's not multiplied by any of the form \(\theta(\alpha(z))\) where theta is 1-periodic and alpha is the abel funct.

(08/19/2022, 04:36 AM)Leo.W Wrote:

bo198214 Wrote:But the normal thing is that these Abel-Functions/Fatou-Coordinates are different from each other (and hence the iterates). Only in exceptional cases (e.g. LFTs) they agree.

Please lemme know what is this and why~ 

(08/19/2022, 06:26 PM)bo198214:The Julia function is considered as a formal powerseries here. The coefficients recursively obtained from the above equation are unique if we  set \(j_k="0\)  for \(k< m\) and" \(j_m="f_m\) where  \(f(z) = z + f_m z^m + f_{m+1} z^{m+1}+ ...,\quad f_m\neq 0\). There is no theta-ambiguity here - like with the regular iteration at a fixed point. For parabolic iteration the condition is that the iterates are asymptotically analytic at the fixed point. Wrote: Oh! I see! now I think I'm dumb

(08/19/2022, 04:36 AM)Leo.W Wrote:

bo198214 Wrote:But the normal thing is that these Abel-Functions/Fatou-Coordinates are different from each other (and hence the iterates). Only in exceptional cases (e.g. LFTs) they agree.

Please lemme know what is this and why~ 

Its written in Milnor "Dynamics in one complex variable"
And btw I can not read your quotes when you use [size=1]!

(08/28/2022, 01:41 PM)Leo.W Wrote: How? I just tapped the "quote" button in chrome? Can't it load in mobiles? lol I'll be careful next time

(08/28/2022, 01:41 PM)Leo.W Wrote:

bo198214 Wrote:

(08/19/2022, 04:36 AM)Leo.W Wrote:

bo198214 Wrote:But the normal thing is that these Abel-Functions/Fatou-Coordinates are different from each other (and hence the iterates). Only in exceptional cases (e.g. LFTs) they agree.

Please lemme know what is this and why~ 

Its written in Milnor "Dynamics in one complex variable"

Thanks, I read this book last year and obviously I skipped this chapter or sth...