# Chapter 4: Other Areas of Analysis

## Overview & Core Themes

This chapter surveys modern advanced branches of mathematical analysis that grew out of classical calculus.

1. **Complex Analysis**  
   Extending calculus to functions of a complex variable $z = x + iy$:
   - **Analytic Functions & Cauchy-Riemann Equations:** A function $f(z) = u(x, y) + i v(x, y)$ is complex-differentiable if and only if its real and imaginary parts satisfy:
     $$\frac{\partial u}{\partial x} = \frac{\partial v}{\partial y} \quad \text{and} \quad \frac{\partial u}{\partial y} = -\frac{\partial v}{\partial x}$$
   - **Conformal Mapping:** Analytic functions preserve local angles and shapes, establishing deep links between complex analysis, electrostatics, and fluid dynamics.
   - **Cauchy’s Integral Theorem & Formula:** If $f(z)$ is analytic inside and on a closed contour $C$:
     $$\oint_C f(z) \, dz = 0 \quad \text{and} \quad f(z_0) = \frac{1}{2\pi i} \oint_C \frac{f(z)}{z - z_0} \, dz$$

2. **Measure Theory & Lebesgue Integration**  
   Classical Riemann integration fails for highly discontinuous functions (such as Dirichlet's indicator function of rationals) and behaves awkwardly under pointwise limits.
   - **Lebesgue Measure:** Replaces intervals with generalized measurable subsets on $\mathbb{R}$.
   - **Partitioning the Range:** While Riemann partitions the domain (horizontal axis), Lebesgue partitions the range (vertical axis), defining integrals over preimages:
     $$\int f \, d\mu = \lim \sum y_i \, \mu(E_i)$$
   - **Dominated Convergence Theorem:** Guarantees that limits and integrals can be interchanged under mild bounding conditions.

3. **Functional Analysis**  
   Generalizes calculus from functions of numbers to operators on infinite-dimensional vector spaces:
   - **Normed and Inner Product Spaces:** Banach spaces (complete normed spaces) and Hilbert spaces (complete inner product spaces with geometric orthogonality).
   - **Linear Operators & Spectral Theory:** Investigates eigenvalues and eigenvectors in function spaces, providing the rigorous mathematical foundation for quantum mechanics and Fourier analysis.

4. **Calculus of Variations & Global Analysis**  
   - **Variational Principles:** Finds functions that minimize or maximize functionals (integrals of curves), formalized by the Euler-Lagrange equation:
     $$\frac{\partial L}{\partial y} - \frac{d}{dx} \left( \frac{\partial L}{\partial y'} \right) = 0$$
   - **Global Analysis:** Extends calculus to curved manifolds using differential forms and exterior calculus (Stokes' General Theorem: $\int_{\partial M} \omega = \int_M d\omega$).

5. **Constructive and Nonstandard Analysis**  
   - **Constructive Analysis:** Eliminates non-constructive existence proofs (such as the Law of the Excluded Middle for infinite sets) to ensure all mathematical objects can be computed algorithmically.
   - **Nonstandard Analysis:** Developed by Abraham Robinson in the 1960s, using mathematical logic and the hyperreal number system $^*\mathbb{R}$ to provide a rigorous foundation for actual infinitesimals and infinite quantities.

---

## Generative AI Prompts for Visuals

> ### Diagram: Conformal Mapping in the Complex Plane
> **Generative AI Prompt:**  
> *A clean dual-panel mathematical visualization on a white background. On the left panel (the $z$-plane), an orthogonal grid of horizontal and vertical coordinate lines is shown. On the right panel (the $w$-plane), a smooth conformal transformation maps the grid into intersecting curves that maintain exact 90-degree orthogonal intersections. Labeled axes $x, iy$ and $u, iv$. Minimalist vector style, sharp crisp lines, textbook figure format.*

> ### Diagram: Riemann vs. Lebesgue Partitioning Comparison
> **Generative AI Prompt:**  
> *A side-by-side pedagogical calculus diagram comparing Riemann and Lebesgue integration. Panel A displays a curve with vertical domain partitions along the horizontal axis, showing vertical approximating rectangles. Panel B displays the same curve with horizontal range partitions along the vertical axis, showing horizontal slices projecting onto disjoint subsets of the domain. Clear typography, contrasting pastel fills for slices, technical textbook line art.*

> ### Diagram: Variational Geodesic on a Curved Surface
> **Generative AI Prompt:**  
> *A 3D technical geometry figure on a white background. A smooth curved mathematical surface (hyperbolic paraboloid or sphere) features two fixed endpoints $A$ and $B$. A solid bright blue curve traces the true minimal geodesic path between them, while dashed translucent lines represent varied trial paths $\delta y$. Clear vector annotations, elegant scientific illustration aesthetic.*