Analytic function Study Guide

📖 Core Concepts Analytic function – locally equal to a convergent power series. For a point \(a\), the Taylor series \(\displaystyle \sum{n=0}^{\infty}cn (x-a)^n\) must converge to the function on some neighbourhood of \(a\). Real‑analytic vs. Complex‑analytic – Real‑analytic: power series with real coefficients on an open real interval. Complex‑analytic (holomorphic): complex‑differentiable at every point of an open set in \(\mathbb{C\!}\); “analytic” = “holomorphic”. Smoothness vs. Analyticity – Every analytic function is \(C^\infty\) (infinitely differentiable), but a \(C^\infty\) real function need not be analytic. In the complex case, one complex derivative already forces analyticity. Extension principle – A real‑analytic \(f\) on \(U\subset\mathbb{R}\) ↔ there exists a complex‑analytic \(F\) on an open \(W\subset\mathbb{C}\) with \(U\subset W\) and \(F|U=f\). Identity theorem – If an analytic function has a set of zeros accumulating inside its domain, the function is identically zero on that connected component. --- 📌 Must Remember Power‑series definition: \(f(x)=\sum{n=0}^{\infty}cn(x-a)^n\) converges to \(f\) on a neighbourhood of \(a\). Complex ⇒ analytic: One complex derivative ⇒ analytic (Cauchy–Riemann + differentiability). Algebraic closure: Sums, products, compositions, and reciprocals (when non‑zero) of analytic functions are analytic. Derivative bound (real case): \(\displaystyle |f^{(n)}(x)|\le MK\,n!\,R^{-n}\) for all \(x\) in any compact \(K\subset U\). Liouville: Bounded entire (analytic on all of \(\mathbb{C}\)) functions are constant. (Fails for real analytic.) Radius of convergence (complex): distance from expansion point to nearest singularity. --- 🔄 Key Processes Testing analyticity (real) Write the Taylor series about a point \(a\). Verify convergence to the original function on some interval (e.g., use known series expansions). Extending a real‑analytic function to complex Find a complex‑analytic expression that agrees with the real function on the real axis (e.g., replace \(x\) by \(z\) in the power series). Using the identity theorem Show a non‑trivial analytic function has infinitely many zeros → conclude the function is identically zero. Bounding derivatives For a given compact \(K\), locate a radius \(R\) such that the series converges on the disc of radius \(R\); then set \(MK = \max{x\in K}|f(x)|\) to obtain the factorial bound. --- 🔍 Key Comparisons Real‑analytic vs. Complex‑analytic Domain: \(\mathbb{R}\) interval vs. open set in \(\mathbb{C}\). Differentiability: Real‑analytic needs power‑series convergence; complex‑analytic needs complex differentiability (Cauchy–Riemann). Uniqueness: Complex analyticity forces analyticity; real analyticity does not. Analytic vs. Smooth (infinitely differentiable) Analytic: Power‑series representation that converges to the function. Smooth: All derivatives exist, but series may diverge (e.g., \(e^{-1/x^2}\) at \(x=0\)). Bounded entire (complex) vs. Bounded real‑analytic Complex: Must be constant (Liouville). Real: Can be non‑constant (e.g., \(\displaystyle f(x)=\frac{1}{1+x^2}\)). --- ⚠️ Common Misunderstandings “If a function is \(C^\infty\), it is analytic.” False for real functions; counterexample \(f(x)=e^{-1/x^2}\) (extend by \(f(0)=0\)). “Analytic ⇒ bounded near the expansion point.” Not required; analytic functions can blow up (e.g., \(1/(x-1)\) is analytic on \(\mathbb{R}\setminus\{1\}\)). “Radius of convergence equals distance to the nearest real singularity.” For complex‑analytic functions it’s the distance to the nearest complex singularity; real‑analytic series may converge on a smaller interval. --- 🧠 Mental Models / Intuition Power‑series as “DNA”: The coefficients \(cn\) encode the entire local behaviour; if you know them, you know the function in a neighbourhood. Analytic = “Rigid”: Once you fix the function on any tiny interval, analytic continuation forces its values everywhere the continuation is possible. Complex plane as a “safety net”: Extending a real‑analytic function to \(\mathbb{C}\) often reveals hidden singularities that dictate convergence radii. --- 🚩 Exceptions & Edge Cases Absolute value \(|x|\): Smooth everywhere except not differentiable at \(0\); definitely not analytic because no power series matches on any neighbourhood of \(0\). Real‑analytic on \(\mathbb{R}\) but not entire: Functions with poles (e.g., \(\displaystyle f(x)=\frac{1}{1+x^2}\)) are analytic on \(\mathbb{R}\) but cannot be extended to an entire function (singularity at \(i\)). Reciprocal analytic: Requires the original function never zero on the domain; otherwise \(1/f\) fails to be analytic at zeros. --- 📍 When to Use Which Identify analyticity → Try a known series (polynomial, \(\exp\), \(\sin\), \(\cos\)). If the function matches a standard analytic form, you can assert analyticity immediately. Prove a function is not analytic → Show a derivative bound fails or the Taylor series does not converge to the function (e.g., \(|x|\)). Apply Liouville → When a complex function is bounded and entire; conclude it is constant. Use Identity theorem → When you can exhibit a sequence of distinct zeros accumulating inside the domain. --- 👀 Patterns to Recognize Polynomials, exponentials, trig, and their compositions → always analytic (entire in the complex case). Series with factorial growth in denominators → typical of analytic functions (radius of convergence often infinite). Presence of absolute values, piecewise definitions, or “sharp corners” → red flags for non‑analyticity. Factorials in derivative bounds → hallmark of real‑analyticity (the \(n!\) term). --- 🗂️ Exam Traps Distractor: “All infinitely differentiable functions are analytic.” – Only true in the complex setting. Choice suggesting “bounded real‑analytic ⇒ constant.” – Confuses with Liouville’s theorem; false for real functions. Option claiming “radius of convergence = distance to nearest real singularity.” – Misses the complex singularity rule for complex‑analytic functions. Answer stating “\(1/f\) is always analytic if \(f\) is analytic.” – Forget the requirement that \(f\neq 0\) on the domain. ---