Potential theory

Potential theory is a branch of mathematics and mathematical physics. It focuses on the study of harmonic functions. These functions are essential for modeling fundamental natural forces. For example, they describe how gravity acts on objects. They also model the electrostatic force between charged particles. Both of these forces can be described using mathematical models called potentials. Specifically, they satisfy Poisson's equation. In a vacuum, this simplifies to Laplace's equation. Potential theory is closely linked to the study of Poisson's equation. While the two fields overlap, they have different goals. Potential theory examines the specific properties of the functions themselves. In contrast, the theory of Poisson's equation focuses on the properties of the equation.

To understand how these functions work, we look at their mathematical structure. The Laplace equation is linear. This means that the set of all harmonic functions forms a linear space. This property is vital when using function space approaches. Another way to study them is through symmetry. The symmetries of the n-dimensional Laplace equation are the conformal symmetries of n-dimensional Euclidean space. These symmetries allow mathematicians to use several clever techniques. For instance, one can use the Kelvin transform or the method of images to generate new functions. Conformal transforms can also map a harmonic function from one domain to another. A common example is mapping functions from a disk to a half-plane.

Potential theory behaves differently depending on the number of dimensions involved. In two dimensions, the field is unique. Any two-dimensional harmonic function is the real part of a complex analytic function. Because of this, two-dimensional potential theory is almost the same as complex analysis. Most researchers focus on theorems that hold in three or more dimensions. However, many ideas from complex analysis still apply to higher dimensions. These include Schwarz's theorem and Morera's theorem. Other concepts include the Weierstrass-Casorati theorem and Laurent series. Mathematicians can also classify isolated singularities as removable, poles, or essential singularities. Studying these connections helps clarify what is unique to two dimensions.

Researchers also study the local behavior of these functions. A fundamental result is the regularity theorem for Laplace's equation. This theorem states that all harmonic functions are analytic. This means they are very smooth and predictable. Scientists also study the local structure of level sets. Bôcher's theorem is another important tool. It describes how isolated singularities behave in positive harmonic functions. Understanding these local details helps build a complete picture of the function's shape.

Inequalities provide a powerful way to analyze harmonic functions. The most basic is the maximum principle. This principle helps define how the values of a function behave within a space. Another key result is Liouville's theorem. It states that any bounded harmonic function defined on the whole of Rn must be a constant function. This means the function cannot change its value if it stays within certain limits. Harnack's inequality is also used. It shows that positive harmonic functions on bounded domains are roughly constant. These inequalities are essential for proving the existence of functions with specific properties.

History shows how these ideas evolved from physics into deep mathematics. The term "potential theory" emerged in 19th-century physics. It was born when scientists realized gravity and electricity shared mathematical models. This connection linked physical forces to abstract equations. Modern potential theory has expanded even further. It is now intimately connected to probability and the theory of Markov chains. In continuous cases, it relates to analytic theory. In finite state spaces, it can be viewed through electrical networks. In these networks, resistance between points is inversely proportional to transition probabilities.

Finally, potential theory connects to advanced mathematical spaces. Because the Laplace equation is linear, the functions form a vector space. By using specific norms or inner products, these sets become more structured. They can form Hilbert spaces or Banach spaces. This allows for the creation of specialized mathematical environments. Examples of these include the Hardy space, Bloch space, Bergman space, and Sobolev space. These spaces allow mathematicians to apply rigorous tools to complex problems.