Analytic Function¶

A real or complex function that, around every point of its open domain, equals a convergent power series in the relevant coordinates.

Version: v1 · 2026-10-03 · History
Domain-specific #: 12981
Domain group: Formal Sciences
Origin domain: Mathematics
Subdomain: Real and Complex Analysis → Mathematics

Core Idea¶

An analytic function equals a convergent power series on some neighborhood of every point of its open real or complex domain. In one variable the local coefficients are $f^{(n)}(a)/n!$, but merely writing a formal Taylor series or having all derivatives is not enough: it must converge to the original function nearby. In one complex variable, holomorphicity and analyticity coincide; real smoothness need not imply analyticity.[^{ref-f6edfc615843][}ref-8b3521b7c4c5][^ref-c1eb842299a5]

Scope of Application¶

In complex analysis, $1/(1-z)=\sum_{n\ge0}z^n$ on $|z|<1$, with other local expansions wherever $z\ne1$; the pole at $1$ bounds the zero-centered series. In real PDEs, Stanford poses harmonic Cauchy data $u(x,0)=x^2$, $u_y(x,0)=e^x$; our directly verified $u(x,y)=x^2-y^2+e^x\sin y$ is a two-variable real-analytic solution. These are unlike carriers of the same local-series condition.[^{ref-f6edfc615843][}ref-d164b34b83bb]

Clarity¶

Analyticity is exact local equality, not good polynomial fit or formal derivative data. The classic smooth real function $e^{-1/x^2}$ for nonzero $x$, defined as $0$ at $0$, has a zero Taylor series at \$0$ but is positive nearby, so it is not analytic there. One-complex-variable identity from an interior accumulation set must not be transferred to several real variables: $F(x,y)=x$ is real analytic yet vanishes along a line.[^{ref-c1eb842299a5][}ref-b697b1af5c6b]

Manages Complexity¶

A convergent local series encodes nearby values through derivative coefficients and supports exact termwise operations inside its convergence disk. For the geometric function, differentiation gives $1/(1-z)^2=\sum_{n\ge0}(n+1)z^n$ on $|z|<1$. For an analytic Cauchy problem, the PDE and initial data determine formal coefficients while the theorem must establish their convergence. Neither operation licenses extension through a singularity.[^{ref-f6edfc615843][}ref-d164b34b83bb]

Abstract Reasoning¶

Type the real or complex field, dimension and open domain. At each point prove existence of a positive-radius power series whose sum equals the function. In one complex variable holomorphicity can establish the condition; for real functions smoothness alone cannot. Before invoking analytic continuation or an identity theorem, state the field, dimension, connected domain and agreement-set hypotheses. The proposed live DAG parent is Continuous Function, because local convergent power series are continuous.[^{ref-f6edfc615843][}ref-c1eb842299a5][^ref-b697b1af5c6b]

Knowledge Transfer¶

Complex rational functions and real analytic PDE solutions share expansion center, positive convergence neighborhood, exact series equality and derivative-determined coefficients. They do not automatically share global extension or the one-complex-variable accumulation-point identity criterion. Taylor Series is a representation neighbor rather than the function-class identity itself.[^{ref-f6edfc615843][}ref-d164b34b83bb][^ref-b697b1af5c6b]

[^ref-f6edfc615843]: UC Berkeley, “Complex Analysis Lecture 15: Power series”, original instructor lecture (2026), theorem and examples lines 50–83. [^ref-8b3521b7c4c5]: UC Berkeley, “Complex Analysis Lecture 16: Taylor series”, original instructor lecture (2026), theorem and Cauchy-integral proof, lines 10–77. [^ref-c1eb842299a5]: University of Toronto, MAT334 Complex Variables original course notes index, Oct. 19 lecture “Holomorphic functions are analytic,” lines 247–255. [^ref-d164b34b83bb]: Stanford University, Lectures on PDE, Lecture 3 “Cauchy Kovalevski”, original lecture notes, printed pp.23–27, especially Problem 3.1 p.27; the closed form is our direct derivation. [^ref-b697b1af5c6b]: UC Berkeley, “Complex Analysis Lecture 17”, one-complex-variable identity theorem discussion; the two-real-variable counterexample is elementary direct calculation.

Relationships to Other Abstractions¶

Current abstraction Analytic Function Domain-specific

Parents (1) — more general patterns this builds on

Analytic Function is a kind of Continuous function Domain-specific

A continuous function with a convergent local power-series representation.

Children (1) — more specific cases that build on this

Arakelian's Theorem Domain-specific presupposes Analytic Function

The theorem's universal approximation claim requires complex analytic functions as the holomorphic approximants on its plane domain.

Hierarchy paths (2) — routes to 2 parentless roots

Analytic Function → Continuous function → Continuity → Neighborhood → Topology

Show alternative path (1)

Neighborhood in Abstraction Space¶

Analytic Function sits in a moderately populated region (54^th percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.

Family — Polynomials & Algebraic Invariants (20 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-08