Section 12: Understanding the Indeterminant Forms

$$ \newcommand{\bint}{\displaystyle{\int\hspace{-10.4pt}\Large\mathit{8}}} \newcommand{\res}{\displaystyle{\text{Res}}} $$

In this section we consider the expression $\displaystyle w'(z)=-\frac{f_z}{f_w}=\frac{0}{0}$. We consider two forms: The first form arises from removable singular points of irreducible polynomials. The second form comes from expressions of the form $f(z,w)=g(z,w)h(z,w)$.

  1. Indeterminate forms from irreducible polynomials

    Consider the irreducible polynomial $$ \begin{equation}f(z,w)=(1-3 z+3 z^2-z^3)+(-4+8 z-4 z^2)w+(6-6 z)w^2+(-4)w^3+(1)w^4=0 \end{equation} $$ with $$ \begin{equation} \displaystyle \frac{dw}{dz}=-\frac{\frac{df}{dz}}{\frac{df}{dw}}=\frac{6 w^2+8 w z-8 w+3 z^2-6 z+3}{4 w^3-12 w^2-12 w z+12 w-4 z^2+8 z-4}. \end{equation} $$ Solving for the singular points we obtain $\{s\}=(0,1)$, $(1,0)$. Simply plugging these values into the expression for the derivative we obtain: $$ \begin{aligned} \frac{dw}{dz}(0,1)&=\frac{-1}{0} \\ \frac{dw}{dz}(1,0)&=\frac{0}{0}. \end{aligned} $$ In the second case we have the indeterminant form $\frac{0}{0}$ and the limiting case may or may not exist. It is the purpose of this section to describe how to determine this limit.

    First, we need to understand that the variable $w$ in the expressions is not an independent variable but rather dependent upon $z$. A more accurate expression for the derivative would then be $$ \displaystyle \frac{dw}{dz}=-\frac{\frac{df}{dz}}{\frac{df}{dw}}=\frac{6 w(z)^2-w(z) (8-8 z)+3 z^2-6 z+3}{4 w(z)^3-12 w(z)^2+2 w(z) (6-6 z)-4 z^2+8 z-4}, $$ and we could then take the limit: $$ \begin{equation} \displaystyle \frac{dw}{dz}=\mathop\lim_{z\to 1}\bigg\{\frac{6 w(z)^2+8 w(z) z-8 w(z)+3 z^2-6 z+3}{4 w(z)^3-12 w(z)^2-12 w(z) z+12 w(z)-4 z^2+8 z-4}\bigg\}. \end{equation} $$ However, we would need the expression for $w(z)$ or at least a numerical approximation for $w(z)$ and evaluate the limit over an analytically-continuous path over each branch sheet to $z=1$. We can do both in this case.

    1. Evaluating the indeterminant form numerically:


      From previous sections, we know how to solve the azimuthal equation numerically. This gives us, for a starting initial value, $w(z)$ over a branch sheet. We can then plug this numerical approximation into the derivative expression for a path which spirals into the singular point and in this way obtain an approximation to the limit if it exists and if the function is well-behaved. If it doesn't exist, the value will not tend to converge and we can check for this situation. For example, we let $\displaystyle z(t)=1+\frac{e^{it}}{t}$ as $t$ varies from $\pi$ to $1000$ for example. Solving for f(z(tstart),w)=0 gives us the four starting values. We can then solve for $w(z)$ over $z(t)$ with the following Mathematica code:

      Mathematica code

      theFunction = (1 - 3 z + 3 z^2 - z^3) + (-4 + 8 z - 4 z^2) w + (6 - 6 z) w^2 + (-4) w^3 + (1) w^4
      myz[t_]:=1+(Cos[t]+I Sin[t])/t;
      startVals=w/.Solve[theFunction==0/.z->myz[\[Pi]],w]//Flatten
      wstart=startVals[[1]];
      tstart=\[Pi];
      tend=100;
      wDeriv=w'[t]==((-(D[theFunction,z]/D[theFunction,w]) D[myz[t],t])/.{w->w[t],z->myz[t]})
      myazsol=First[NDSolve[{wDeriv,w[tstart]==wstart},w,{t,tstart,tend},MaxSteps->1500000,MaxStepSize->0.0001]]; myDerivTrace[t_]=Evaluate[Flatten[w[t]/.myazsol]];
      theDeriv=(-D[theFunction,z]/D[theFunction,w])/.{z->myz[t],w->myDerivTrace[t]};

      Where in the code above we select the particular starting value with the command wstart=startVals[[k]] for $k=1,2,3,4$. For example, letting wstart=startVals[[1]] and then plotting the real and imaginary component of theDeriv gives us the following plot:

      In the plot, we can see the value of the derivative spiraling into the point around $-0.5+0.5i$. The value of $z$ after $t=200$ is $1.00244 - 0.00436649$. Doing this for each starting value, we obtain the approximate derivatives:: $$\begin{array}{c} -0.503+0.498i \\ -0.500-0.505i \\ -0.502-0.002i \\ 1.499+0.003i \end{array} $$

      We would now like to compare these numerically-determined values to the actual limiting cases.

    2. Evaluating the indeterminant form algebraically from the origin:


      The reader is asked to review Section 7: Puiseux series, and Section 9: Polynomial solutions for background on the following.

      Equation $(1)$ was created to obtain a polynomial solution as per Section 9. The solution is $$ w(z)=1+z^{1/4}+z^{1/2}+z^{3/4} $$ or in conjugate form as per section $(7)$: $$\begin{array}{cc} w_1(z)&=1+z^{1/4}+z^{1/2}+z^{3/4} \\ w_2(z)&=1+iz^{1/4}-z^{1/2}-iz^{3/4} \\ w_3(z)&=1-iz^{1/4}-z^{1/2}+iz^{3/4} \\ w_4(z)&=1-z^{1/4}+z^{1/2}-z^{3/4} \end{array} $$ where the principal value of $z^{1/4}$ is used. And note these solutions are analytic at $z=1$. Taking derivatives: $$\begin{aligned} w_1'(z)&=1/4z^{-3/4}+1/2 z^{-1/2}+3/4z^{-1/4} \\ w_2'(z)&=i/4z^{-3/4}-1/2z^{-1/2}-3i/4z^{-1/4} \\ w_3'(z)&=-i/4z^{-3/4}-1/2z^{-1/2}+3i/4z^{-1/4} \\ w_4'(z)&=-1/4z^{-3/4}+1/2z^{-1/2}-3/4z^{-1/4} \end{aligned} $$ so that: $$ \begin{equation} \begin{aligned} \frac{dw_1}{dz}(1)&=1.5 \\ \frac{dw_2}{dz}(1)&=-1/2-1/2 i \\ \frac{dw_3}{dz}(1)&=-1/2+1/2 i \\ \frac{dw_4}{dz}(1)&=-1/2 \end{aligned} \end{equation} $$ and we could further show that we have the correspondence between the analytic values and numeric values: $$ \begin{equation} \begin{array}{c} \text{Numeric} & \text{Analytic} \\ -0.503+0.498i & -1/2+1/2i \\ -0.501-0.505i & -1/2-1/2i \\ -0.502-0.002 i & -1/2 \\ 1.498+0.003i & 1.5 \end{array} \end{equation} $$

      We can see now how the functional dependence of $w$ on $z$ affects the limit. In fact, we can substitute the explicit values of $w_i(z)$ into $(3)$ above and take the limit as $z\to 0$ and obtain the results in $(4)$. For example, we obtain for $w_1(z)$, the following limit: $$ \mathop{\lim}_{z\to 1}\frac{6 -\left(z^{3/4}+\sqrt[4]{z}+\sqrt{z}+1\right)^2-\left(z^{3/4}+\sqrt[4]{z}+\sqrt{z}+1\right) (8-8 z)+3 z^2-6 z+3}{4 \left(z^{3/4}+\sqrt[4]{z}+\sqrt{z}+1\right)^3-12 \left(z^{3/4}+\sqrt[4]{z}+\sqrt{z}+1\right)^2+2 (6-6 z) \left(z^{3/4}+\sqrt[4]{z}+\sqrt{z}+1\right)-4 z^2+8 z-4}=3/2 $$ and do likewise for the other branch functions $w_i(z)$ to obtain the remaining values in table $(5)$.

    3. Evaluating the indeterminant form algebraically from translated Puiseux series:


      Finally, readers familiar with the sections on Puiseux series know we can translate the center of power expansion to $z=1$. We then compute the Puiseux series for the translated function: $$ F(z,w)=w^4-4 w^3+w^2 (6-6 (z+1))+w \left(-4 (z+1)^2+8 (z+1)-4\right)-(z+1)^3+3 (z+1)^2-3 (z+1)+1 $$ now centered at the origin and obtain the following (non-polynomial) expansions: $$ \begin{aligned} w_1(z)&=-0.5 z + 0.0625 z^2 - 0.03125 z^3 + 0.0205078 z^4 - 0.0151367 z^5+\cdots \\ w_2(z)&=(-0.5-0.5 I) z+0.125 z^2-(0.0625 -0.015625 I) z^3+(0.0390625 -0.015625 I) z^4+\cdots \\ w_3(z)&=(-0.5+0.5 I) z+0.125 z^2-(0.0625 +0.015625 I) z^3+(0.0390625 +0.015625 I) z^4+\cdots\\ w_4(z)&=4. +1.5 z-0.3125 z^2+0.15625 z^3-0.0986328 z^4+0.0698242 z^5+\cdots \end{aligned} $$ and then taking the derivatives of these expressions now at $z=0$, obtain the limits by inspection.

      One important consequence of these results is shown in the ramifications about each singular point: $$ \begin{equation} \begin{array}{c} \text{Singular Point} & \text{Ramification} \\ 0 & \{\{1,2,3,4\}\} \\ 1 & \{\{1\},\{2\},\{3\},\{4\}\}\\ \infty & \{\{1,2,3,4\}\} \end{array} \end{equation} $$ And note the function does not ramify about the singular point at $z=1$. This is expected since the derivatives exists for all branch sheets.

      Now consider $$ \begin{equation} (-2 z^2+7 z^3)+(-2 z)w+(-6 z)w^2+(3-5 z^2)w^3 \end{equation} $$ with singular point $(0,0)$ and $\frac{dw}{dz}(0,0)=\frac{0}{0}$. And this time we will go directly to the Puiseux expansion around the origin. We obtain: $$ \begin{aligned} w_1(z)&=-1. z - 1. z^2 - 10.5 z^3 - 115.25 z^4 - 1361.63 z^5+\cdots \\ w_2(z)&=-0.816497 \sqrt{z} + 1.5 z + 0.459279 z^{3/2} + 0.5 z^2 + 0.97969 z^{5/2}+\cdots \\ w_3(z)&=0.816497 \sqrt{z} + 1.5 z - 0.459279 z^{3/2} + 0.5 z^2 - 0.97969 z^{5/2}+\cdots \end{aligned} $$ And we see immediately the derivative exists for the $1$-cycle branch but does not exists for the $2$-cycle branch. Let's take a third example: $$ \begin{equation} f(z,w)=(-z^2+4 z^3)+(4 z^2-3 z^3)w+(-3 z-6 z^2+7 z^3)w^2+(3-9 z)w^3 \end{equation} $$ with the Puiseux expansion about the origin $$ \begin{aligned} w_1(z)&=(-0.346681-0.600468 i)z^{2/3}+0.333333 z+(0.240375\, -0.416342 i) z^{4/3}+(0.24396\, +0.422552 i) z^{5/3}+1.66667 z^2+\cdots \\ w_2(z)&=0.693361 z^{2/3}-0.48075 z^{4/3}-0.487921 z^{5/3}+1.66667 z^2+0.333333 z+\cdots \\ w_3(z)&=(-0.346681+0.600468 I) z^{2/3}+0.333333 z+(0.240375 +0.416342 I) z^{4/3}+(0.24396 -0.422552 I) z^{5/3}+1.66667 z^2+\cdots \end{aligned} $$ And in this third example we see the derivative does not exist at the singular point $(0,0)$.

      From these observations we can then make the following assertion: The indeterminant form $\frac{dw}{dz}=\frac{0}{0}$ has a limit if and only if the singular point is not a pole and the Puiseux expansion does not have a term $z^{k/n}$ with $k\lt n$. It is a simple matter to identify poles. Those are the solutions to $a_n(z)=0$. And in principle, through the Newton Polygon algorithm, we have an algebraic method to determine if the Puiseux expansion has a $z^{k/n}$ term with $k \lt n$.

  2. Indeterminant forms from reducible polynomials

    The most common type of algebraic functions studied are irreducible. That is, cannot be factored. In this section, we study functions of the form $f(z,w)=g(z,w)h(z,w)$. Consider $$ \begin{equation} \begin{aligned} f(z,w)&=\biggr\{(-4-8 z)+(9 z)w+(-5 z)w^2\biggr\}\biggr\{(7+5 z^2)+(3-8 z)w+(-2 z)w^2\biggr\}\\ &=(-28-56 z-20 z^2-40 z^3)+(-12+71 z+64 z^2+45 z^3)w+(-56 z^2-25 z^3)w^2+(-15 z+22 z^2)w^3+(10 z^2)w^4 \end{aligned} \end{equation} $$

    and the ring table in Table 2 below. Now, what is the first unusual property we notice about some of the (blue) singular points in this table?

    Table 2: Ring table for Equation 9
    RingRegionMonodromy
    {0}{{1}, {2, 4},{3}}
    1{0.00005, 0.0801269}{{1},{2, 3}, {4}}
    {-0.0801769}{{1}, {2},{3}, {4}}
    2{0.0802269,0.379229}{{1}, {2, 3},{4}}
    {-0.0179488 - 0.378854 I}{{1,2}, {3}, {4}}
    {-0.0179488 + 0.378854I}{{1, 2}, {3}, {4}}
    3{0.379329,0.612293}{{1}, {2, 3},{4}}
    {0.228848 - 0.567972 I}{{1},{2}, {3}, {4}}
    {0.228848 + 0.567972I}{{1}, {2}, {3}, {4}}
    4{0.612393,1.01261}{{1}, {2, 3},{4}}
    {-1.01266}{{1}, {2}, {3,4}}
    5{1.01271, 1.56405}{{1}, {2},{3}, {4}}
    {-1.5641}{{1, 2}, {3},{4}}
    6{1.56415, 3.09507}{{1, 4},{2}, {3}}
    {1.25924 - 2.82738 I}{{1},{2}, {3}, {4}}
    {1.25924 + 2.82738I}{{1}, {2}, {3}, {4}}
    7{3.09517,7.09507}{{1, 4}, {2},{3}}
    {$\infty$}{{1, 2}, {3},{4}}

No comments:

Post a Comment

Blog Archive