Function Analysis & Numerical Methods¶

← Back to Domain-Specific Families

Abstractions about characterizing functions by continuity, differentiability, and integrability, and about the analytic and numerical machinery used to evaluate them — complex-analytic tools like contour integration and meromorphic functions, integral transforms, quadrature rules, and domain-decomposition preconditioners.

51 abstractions in this family — domain-specific abstractions that sit near one another in structural-signature space (k-means over structural-signature embeddings). Each is shown with its short description.

Absolute continuity — A strengthened continuity property that makes total function variation over sufficiently short disjoint intervals arbitrarily small and restores integration of the derivative.
Antiderivative — A function whose derivative equals a given function on a declared domain, with all solutions differing by constants on each connected component under standard assumptions.
Baire one star function — A real function whose restriction is continuous on some nonempty relatively open piece of every perfect set.
Bochner–Martinelli formula — An integral representation for continuously differentiable functions on domains in several complex variables using the Bochner–Martinelli kernel.
Boole's rule — A closed Newton–Cotes quadrature rule using five equally spaced samples to approximate an integral by a weighted quartic interpolant.
Cauchy's integral formula — A boundary integral that reconstructs every value and derivative of a holomorphic function inside a contour.
Computable real function — A real-valued function for which arbitrarily accurate output approximations can be generated effectively from arbitrarily accurate representations of its real inputs.
Conditional convergence — Convergence of a series or improper integral despite failure of convergence after taking absolute values.
Contour integration — Integration of a complex function along an oriented path in the complex plane, with deformation and residues enabling evaluation.
Error analysis (mathematics) — The study of how approximation, rounding, truncation, measurement, discretization, and conditioning create and propagate uncertainty in mathematical results.
Fictitious domain method — A numerical PDE method that embeds an irregular physical domain in a simpler computational domain and enforces the original boundary or interface conditions without a boundary-conforming background mesh.
Finite difference — The difference between function values at finitely separated arguments, used as a discrete operator and as an approximation to derivatives.
Hardy field — A field of germs of real functions at positive infinity that is closed under differentiation.
Heaviside step function — A threshold function equal to zero below an origin and one above it, with a declared convention at the discontinuity.
Hiptmair–Xu preconditioner — An auxiliary-space preconditioner for finite-element discretizations of H(curl) and H(div) problems that decomposes difficult vector fields into smoother scalar, gradient or curl components.
Hyperbolic growth — Growth following an inverse-distance-to-a-finite-singularity form, diverging as the independent variable approaches a finite critical value.
Hyperreal number — An element of a proper ordered-field extension of the real numbers containing infinitesimal and infinite elements and satisfying a transfer principle.
Implicit function — A function locally or globally determined by a relation among variables even when its dependent variable is not isolated by an explicit formula.
Improper integral — A limit-defined extension of a definite integral to an unbounded interval, an unbounded integrand or another excluded endpoint configuration.
Indicator function (complex analysis) — A directional asymptotic function recording an entire function’s exponential growth rate.
Interchange of limiting operations — The analysis problem of identifying conditions under which two limits, or a limit and integration, differentiation or summation, may be applied in either order with the same result.
Lacunary value — A complex number omitted from the image of a complex-valued function on its stated domain.
Mean of a function — The domain-normalized integral of a function, giving the constant value with the same total integral over a set of finite nonzero measure.
Mellin transform — An integral transform mapping a function on positive scales to complex powers, making multiplicative scaling analogous to Fourier analysis of translation.
Meromorphic function — A complex function holomorphic on a domain except at isolated poles, equivalently locally a quotient of holomorphic functions with nonzero denominator.
Modulus of continuity — A nonnegative function bounding output variation in terms of input distance and tending to zero at zero, thereby quantifying uniform continuity.
Monogenic function — In classical complex analysis, a function possessing a unique finite complex derivative at a point or throughout a stated set.
Natural logarithm — The logarithm to base e, equivalently the inverse of the natural exponential and the signed area under one-over-x on the positive real line.
Neumann–Dirichlet method — A nonoverlapping domain-decomposition preconditioner that alternates Neumann and Dirichlet subdomain solves across shared interfaces.
Newton fractal — The basin boundary produced in the complex plane by applying Newton's root-finding iteration to a fixed polynomial or meromorphic function from varying initial points.
Numerical certification — The production of a mathematically checkable guarantee that a numerically computed candidate corresponds to an actual solution of a stated problem.
Oscillation theory — The study of zeros and sign changes of differential-equation solutions and their relation to boundary-value spectra and comparison theorems.
Phragmén–Lindelöf principle — A complex-analytic extension of the maximum-modulus principle that controls a holomorphic function on an unbounded domain using boundary bounds plus a growth restriction.
Piecewise function — A function specified by different formulas or rules on declared subsets that partition or cover its domain with consistent treatment of their boundaries.
Plurisubharmonic function — An upper-semicontinuous function on a complex domain whose restriction to every complex line is subharmonic.
Positive-real function — A real-rational complex function analytic in the open right half-plane whose real part is nonnegative there, characterizing passive one-port impedances under standard conditions.
Pseudoanalytic function — A complex-valued function satisfying a generalized first-order Cauchy–Riemann system determined by an admissible coefficient.
Quarter period — The complete elliptic-integral quantities K(m) and iK′(m) that generate the period lattice of Jacobi elliptic functions and locate their characteristic quarter-cycle values.
Radial basis function — A function whose value depends only on distance from a center, used as a localized basis for interpolation, approximation, and learning.
Real-valued function — A function whose codomain is the real numbers.
Residue (complex analysis) — The coefficient of the inverse-linear term in a meromorphic function’s Laurent expansion at an isolated singularity.
Rising sun lemma — A one-dimensional decomposition lemma partitioning the points below a later higher value of a continuous function into disjoint intervals with controlled endpoints.
Schwarz triangle function — A conformal map from the upper half-plane onto a curvilinear triangle, expressible as a ratio of hypergeometric solutions with angle parameters.
Set inversion — The problem of characterizing all inputs whose image under a function lies in a specified target set.
Singular function — A nonconstant continuous real function whose derivative exists and equals zero almost everywhere.
Staircase paradox — A sequence of rectilinear curves can converge uniformly to a diagonal while their lengths fail to converge to the diagonal’s length.
Symmetrically continuous function — A real function whose values at equally spaced points on opposite sides of each point approach one another.
Taylor series — An infinite power series whose coefficients are a function’s derivatives at one expansion point.
Unisolvent functions — A finite-dimensional function family for which interpolation values at any admissible set of distinct nodes determine one and only one function, equivalently yielding a nonsingular evaluation matrix.
Weierstrass function — A classical infinite trigonometric series that is continuous everywhere and differentiable nowhere under suitable parameters.
Weight function — A function assigning unequal influence to elements in a sum, integral, average, norm or approximation.