Accuracy vs. Precision

The coefficients for the Fourier series of a function \(s(x)\) with period \(P\) are calculated using integral formulas. The DC component is \(a_0 = \frac{2}{P} \int_{P} s(x) , dx\). The cosine coefficients are \(a_n = \frac{2}{P} int_{P} s(x) \cos\left(\frac{2pi n x}{P}\right) , dx\), and the sine coefficients are \(b_n = \frac{2}{P} \int_{P} s(x) \sin\left(\frac{2\pi n x}{P}\right) , dx\) for \(n ge 1\).

A fundamental solution of a linear partial differential operator \(L\) is a solution to the equation \(Lu = delta(x)\), where \(delta(x)\) is the Dirac delta function. It represents the response of the system to a point source or impulse. Once known, the solution to the inhomogeneous equation \(Lu = f(x)\) can be found by convolution: \(u(x) = (G * f)(x)\), where \(G\) is the fundamental solution.

The Gauss-Bonnet theorem connects the geometry of a compact two-dimensional surface to its topology. It states that the integral of the Gaussian curvature \(K\) over the entire surface \(M\) is equal to \(2\pi\) times the Euler characteristic \(\chi(M)\) of the surface. The formula is \(\int_M K \, dA = 2\pi \chi(M)\).

Riemannian geometry is the branch of differential geometry that studies Riemannian manifolds—smooth manifolds equipped with a Riemannian metric. This metric is a collection of inner products on the tangent spaces, varying smoothly from point to point. It allows for the definition of local geometric notions like angle, length of curves, surface area, and volume, leading to a generalized notion of curvature.

In linear algebra, the rank-nullity theorem states that for any linear map \(T: V \to W\) between finite-dimensional vector spaces, the dimension of its domain \(V\) is the sum of its rank (the dimension of its image) and its nullity (the dimension of its kernel). The formula is \(\dim(V) = \text{rank}(T) + \text{nullity}(T)\).

The Prime Number Theorem describes the asymptotic distribution of prime numbers among the integers. It states that the prime-counting function \(\pi(x)\), which gives the number of primes less than or equal to \(x\), is asymptotically equivalent to \(x / \ln(x)\). Formally, \(\lim_{x \to \infty} \frac{\pi(x)}{x/\ln(x)} = 1\). This provides a fundamental link between primes and the natural logarithm.

A Fourier series decomposes any periodic function or signal into a sum of simple oscillating functions, namely sines and cosines. For a function \(s(x)\) with period \(P\), the series is given by \(s(x) \approx \frac{a_0}{2} + \sum_{n=1}^{\infty} \left[ a_n \cos\left(\frac{2\pi n x}{P}\right) + b_n \sin\left(\frac{2\pi n x}{P}\right)\right]\). The terms \(a_n\) and \(b_n\) are the Fourier coefficients.

Theorema Egregium (Latin for "Remarkable Theorem") states that the Gaussian curvature of a surface is an intrinsic property. This means it depends only on how distances are measured on the surface itself, not on how the surface is embedded in three-dimensional space. A flat sheet of paper can be rolled into a cylinder but not a sphere without stretching.

For a Fourier series to converge to the function's value, the function must satisfy the Dirichlet conditions over one period. These are: (1) the function must be absolutely integrable, (2) it must have a finite number of extrema (maxima and minima), and (3) it must have a finite number of finite discontinuities.

De Morgan's laws are a pair of transformation rules in Boolean algebra that are fundamental to digital circuit design. The first law states that the negation of a conjunction is the disjunction of the negations: \(\neg(P \land Q) \iff (\neg P) \lor (\neg Q)\). The second states that the negation of a disjunction is the conjunction of the negations: \(\neg(P \lor Q) \iff (\neg P) \land (\neg Q)\).

A differentiable manifold is a topological space that is locally similar to Euclidean space, allowing calculus to be applied. Each point has a neighborhood that is homeomorphic to an open subset of \(\mathbb{R}^n\). These local coordinate systems, called charts, are related by smooth transition functions, forming an atlas that defines the manifold's differentiable structure.

Digital electronics is based on Boolean algebra, a mathematical system of logic introduced by George Boole. It uses two values, typically 0 and 1 (or false and true), and three basic operations: AND (conjunction), OR (disjunction), and NOT (negation). These operations directly correspond to the logic gates that form the building blocks of all digital circuits.

A homeomorphism is a continuous function between two topological spaces that has a continuous inverse function. Two topological spaces are called homeomorphic if such a function exists. From a topological viewpoint, homeomorphic spaces are identical. This concept captures the idea that an object can be stretched, bent, or deformed into another without tearing or gluing, like a coffee mug into a donut.

The Gibbs phenomenon describes the behavior of a Fourier series at a jump discontinuity. The partial sums of the series exhibit an overshoot near the jump, which does not disappear as more terms are added. This overshoot converges to a constant value of about 9% of the jump height, regardless of the number of terms in the series.