Problem 6 - Advanced Engineering Mathematics

Question

The function \(f(z)=\pi i-\frac{1}{2}[\operatorname{Ln}(z+1)+\operatorname{Ln}(z-1)]\) is analytic except on the branch cut \(x-1 \leq 0\) or \(x \leq 1,\) and $$f^{\prime}(z)=-\frac{1}{2}\left(\frac{1}{z+1}+\frac{1}{z-1}\right)=-\frac{z}{z^{2}-1}$$ is non-zero for \(z \neq 0, \pm 1 .\) Therefore \(f\) is conformal except for \(z=x, x \leq 1.\)

Step-by-Step Solution

Answer

The function is analytic and conformal everywhere except on the branch cut \(x \leq 1\) and at \(z = 0, \pm 1\).

Step 1: Identify Components of the Function

To understand why the function is analytic except on a particular branch cut, identify that the function contains logarithmic terms: \(\operatorname{Ln}(z+1)\) and \(\operatorname{Ln}(z-1)\). These logarithmic functions have branch cuts along the real line from \(x = -\infty\) to \(x = -1\) and from \(x = -\infty\) to \(x = 1\) respectively.

Step 2: Determine the Branch Cut

The branch cut affects where the function is not analytic. In this case, the expression indicates the problematic area is where both logarithms cause issues, reducing to points where \(z = 1\) and \(z+1 \leq 0\), which combined fit the branch cut \(x \leq 1\).

Step 3: Differentiation of the Function

Differentiate the function \(f(z)\) to find \(f'(z)\). Given as \(f'(z) = -\frac{1}{2}\left(\frac{1}{z+1} + \frac{1}{z-1}\right)\), which simplifies to \(-\frac{z}{z^{2}-1}\). This derivative is non-zero except at \(z = 0, \pm 1\).

Step 4: Analyze Conformality

A function is conformal where its derivative is non-zero. For \(f(z)\), the derivative \(f'(z) = -\frac{z}{z^{2}-1}\) is non-zero for \(z eq 0, \pm 1\). Thus, \(f\) is conformal except at these points and on the branch cut where it is not analytic.

Key Concepts

Conformal Mapping

A conformal map is a function that preserves angles locally. This means that at small scales, the map retains the shapes' angles and orientation, even if their size or overall position changes. The idea is crucial in complex analysis, particularly when studying how complex functions behave. To be conformal, a function must be both angle-preserving and locally invertible.
In mathematical terms, a function is conformal at a point if its derivative is non-zero at that point. For the function in our exercise, the derivative is \[ f'(z) = -\frac{z}{z^{2}-1} \] This derivative is non-zero, except at a few specific points

• On the branch cut
• Where the function is not analytic
• And where the denominator equals zero

Thus, the function is conformal except at the points where these conditions are satisfied.

Analytic Functions

Analytic functions are the backbone of complex analysis. These functions are differentiable at every point in their domain, which leads to them being expressible as power series. Being differentiable in a domain implies not just the existence of a derivative but also that it behaves nicely, without any abrupt changes.
The function, given in the exercise, \[ f(z)=\pi i-\frac{1}{2}[\operatorname{Ln}(z+1)+\operatorname{Ln}(z-1)] \] is considered analytic except for regions where the logarithmic components introduce discontinuities. An analytic function gives us a smooth, well-behaved map in the plane, critical for applications such as fluid dynamics, electrostatics, and other fields that model continuous systems.

Branch Cuts

In complex analysis, the concept of branch cuts helps in dealing with multi-valued functions, like the complex logarithm. A branch cut is essentially a curve or line in the complex plane that allows us to "cut" the plane to make these functions single-valued.
For the logarithmic terms in our exercise, each logarithm introduces a branch cut:

• \( \operatorname{Ln}(z+1) \) has a branch cut from \( x = -\infty \) to \( x = -1 \)
• \( \operatorname{Ln}(z-1) \) from \( x = -\infty \) to \( x = 1 \)

The branch cut for the overall function arises due to their combined effect, leading to discontinuities along \( x \leq 1 \). These cuts ensure the function behaves predictably, but also constrain the domain where the function remains analytic.

Logarithmic Functions

Logarithmic functions in the complex plane are inherently multi-valued because of their periodic nature. To manage this, we use the principal branch, typically taking the imaginary part of the logarithm to be between \(-\pi\) and \(\pi\).
This principal value makes the logarithm useful while dealing with complex computations. The logarithms \( \operatorname{Ln}(z+1) \) and \( \operatorname{Ln}(z-1) \) in our function each require their branches, which then combine to form a single-valued function with a controlled branch cut.
Understanding the branch cuts and the multi-valued nature of logarithmic functions is crucial when evaluating them across different paths in the complex plane, ensuring that operations are consistent and logical across the regions where functions are defined.