Problem 5 - Advanced Engineering Mathematics

Question

\(f(z)=\left(z^{2}-1\right)^{1 / 2}=e^{\frac{1}{2} \operatorname{Ln}\left(z^{2}-1\right)}\) is analytic for all \(z\) outside the interval [-1,1] on the real axis. This follows from the fact that \(z^{2}-1=\left(x^{2}-y^{2}-1\right)+2 x y i\) and so we must exclude values of \(z\) for which \(v=2 x y=0\) and \(u=x^{2}-y^{2}-1 \leq 0 .\) Therefore \(y=0\) and \(x^{2} \leq 1 . f^{\prime}(z)=z /\left(z^{2}-1\right)^{1 / 2}\) is non-zero outside this interval. Therefore \(f\) is conformal except for \(z=x,-1 \leq x \leq 1.\)

Step-by-Step Solution

Answer

The function is analytic outside the interval \([-1, 1]\) because it is undefined on that interval on the real axis.

Step 1: Understanding the Function

We start analyzing the complex function given: \(f(z)=(z^2-1)^{1/2}=e^{\frac{1}{2}\operatorname{Ln}(z^2-1)}\). Here, \(\operatorname{Ln}(z^2-1)\) denotes the principal branch of the logarithm. Because the function involves a square root, we need to ensure it's defined and analytic, except where the argument is non-positive on the real axis.

Step 2: Identify Analytic Regions

To determine where \(f(z)\) is analytic, we first write \(z^2 - 1\) in terms of its real and imaginary components: \(z^2 - 1 = (x^2 - y^2 - 1) + 2xyi\). For \(f(z)\) to be analytic, the imaginary part \(v = 2xy\) must not be zero and real part \(u = x^2 - y^2 - 1\) must be greater than zero.

Step 3: Exclude Points Based on Imaginary Part

The imaginary part \(v = 2xy\) is zero when either \(y = 0\) or \(x = 0\). However, since the function could be undefined when this happens, we must exclude these from the domain of analyticity. Specifically, \(y = 0\) leads to the real axis, which affects the analyticity on the interval \([-1, 1]\) given the condition \(x^2 \leq 1\).

Step 4: Check the Real Part Condition

The real part \(u = x^2 - y^2 - 1\) must be greater than zero for the function to be analytic. This means when \(y = 0\), \(x^2 \leq 1\) will satisfy \(u = 0\), where \(f(z)\) is not analytic because \((z^2 - 1)^{1/2}\) requires a positive argument or a non-zero imaginary part.

Step 5: Analyticity and Conformality Conclusion

Thus, \(f(z)\) is analytic and conformal (its derivative is non-zero) for all \(z\) outside the interval \([-1, 1]\) on the real axis, since \(f'(z) = z / (z^2 - 1)^{1/2}\). The function becomes non-analytic across this interval since it is the set where \(z^2 - 1\) is non-positive on the real axis and does not support a well-defined square root.

Key Concepts

Analytic Functions

In complex analysis, an analytic function, also known as a holomorphic function, is a function that is complex-differentiable at every point in its domain. Having a derivative at every point means it can be represented as a power series within its radius of convergence. This makes analytic functions very predictable and their behavior near a point can be described using their derivatives and known values.

• Analyticity is linked to having a derivative that exists and is continuous.
• A function is analytic over an open region, meaning across all points inside that region it must satisfy the properties of differentiability.
• For a function involving a logarithm or square root, like our case with \(f(z)=(z^2-1)^{1/2}\), analyticity is determined by ensuring that the expression inside is well-defined and doesn't equate to places like branch cuts where the function isn't differentiable.

For example, with \(f(z)\), the function is analytic outside the interval \([-1, 1]\) along the real axis because these points are where \(z^2-1\) conditions, such as non-positivity, affect the existence of a derivative.

Conformal Mapping

Conformal mapping is an important concept in complex analysis where a function preserves angles locally. This means a small enough region around a given point will map to another, possibly transformed, region under the function while maintaining the angles between intersecting curves.

• A function must be analytic and have a non-zero derivative to be conformal at a point.
• Conformal maps are widely used in fields like engineering and physics, especially for solving Laplace's and Poisson's equations in novel layouts.
• In our case, \(f(z)\) is conformal outside the excluded interval because the derivative \(f'(z) = \frac{z}{(z^2 - 1)^{1/2}}\) is non-zero, thus preserving the local geometry.

Though conformality holds broadly across its domain, it fails at problematic points or branch cuts, as observed due to the real component overlapping on the interval \([-1, 1]\), which inhibits the structure of conformality because the derivative approaches zero or becomes undefined.

Complex Logarithm

The complex logarithm is slightly more complicated than its real counterpart. This is due to the nature of complex numbers being multi-valued and periodic. For instance, if you consider the complex number \(z = re^{i\theta}\), its logarithm benefits from expressing in polar form: \( ext{Ln}(z) = ext{Ln}(r) + i\theta\).

• The \(Ln\) represents the principal value of the natural logarithm, which encompasses the real part and imaginary part linked with \(2\pi n\), where \(n\) is any integer.
• Each full rotation adds \(2\pi\) to the angle, demonstrating how conventional logarithm treatments become complex with multiple values.
• Because of \(2\pi\) periodicity, branch cuts (usually along negative real axis) are established to define a principal branch, avoiding discontinuities in complex functions.

For \(f(z)=(z^2-1)^{1/2}\), the branch cut of \(z^2-1\) affects the analytic nature since perpetuated revolutions modify angle premisses, affecting our logarithmic expression and ensuring we carve suitable regions outside negative values to ensure angles contribute correctly to derivative parameters.