In
mathematics
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many ar ...
, the biharmonic equation is a fourth-order
partial differential equation
In mathematics, a partial differential equation (PDE) is an equation which involves a multivariable function and one or more of its partial derivatives.
The function is often thought of as an "unknown" that solves the equation, similar to ho ...
which arises in areas of
continuum mechanics
Continuum mechanics is a branch of mechanics that deals with the deformation of and transmission of forces through materials modeled as a ''continuous medium'' (also called a ''continuum'') rather than as discrete particles.
Continuum mec ...
, including
linear elasticity
Linear elasticity is a mathematical model of how solid objects deform and become internally stressed by prescribed loading conditions. It is a simplification of the more general nonlinear theory of elasticity and a branch of continuum mechani ...
theory and the solution of
Stokes flow
Stokes flow (named after George Gabriel Stokes), also named creeping flow or creeping motion,Kim, S. & Karrila, S. J. (2005) ''Microhydrodynamics: Principles and Selected Applications'', Dover. . is a type of fluid flow where advection, advec ...
s. Specifically, it is used in the modeling of thin structures that react
elastically to external forces.
Notation
It is written as
or
or
where
, which is the fourth power of the
del
Del, or nabla, is an operator used in mathematics (particularly in vector calculus) as a vector differential operator, usually represented by the nabla symbol ∇. When applied to a function defined on a one-dimensional domain, it denotes ...
operator and the square of the
Laplacian
In mathematics, the Laplace operator or Laplacian is a differential operator given by the divergence of the gradient of a scalar function on Euclidean space. It is usually denoted by the symbols \nabla\cdot\nabla, \nabla^2 (where \nabla is th ...
operator
(or
), is known as the biharmonic operator or the bilaplacian operator. In
Cartesian coordinates
In geometry, a Cartesian coordinate system (, ) in a plane is a coordinate system that specifies each point uniquely by a pair of real numbers called ''coordinates'', which are the signed distances to the point from two fixed perpendicular o ...
, it can be written in
dimensions as:
Because the formula here contains a summation of indices, many mathematicians prefer the notation
over
because the former makes clear which of the indices of the four nabla operators are contracted over.
For example, in three dimensional
Cartesian coordinates
In geometry, a Cartesian coordinate system (, ) in a plane is a coordinate system that specifies each point uniquely by a pair of real numbers called ''coordinates'', which are the signed distances to the point from two fixed perpendicular o ...
the biharmonic equation has the form
As another example, in ''n''-dimensional
real coordinate space
In mathematics, the real coordinate space or real coordinate ''n''-space, of dimension , denoted or , is the set of all ordered -tuples of real numbers, that is the set of all sequences of real numbers, also known as '' coordinate vectors''.
...
without the origin
,
where
which shows, for ''n''=3 and ''n''=5 only,
is a solution to the biharmonic equation.
A solution to the biharmonic equation is called a biharmonic function. Any
harmonic function
In mathematics, mathematical physics and the theory of stochastic processes, a harmonic function is a twice continuously differentiable function f\colon U \to \mathbb R, where is an open subset of that satisfies Laplace's equation, that i ...
is biharmonic, but the converse is not always true.
In two-dimensional
polar coordinates
In mathematics, the polar coordinate system specifies a given point (mathematics), point in a plane (mathematics), plane by using a distance and an angle as its two coordinate system, coordinates. These are
*the point's distance from a reference ...
, the biharmonic equation is
which can be solved by separation of variables. The result is the
Michell solution
In continuum mechanics, the Michell solution is a general solution to the elasticity equations in polar coordinates ( r, \theta ) developed by John Henry Michell in 1899. The solution is such that the stress components are in the form of a Fourie ...
.
2-dimensional space
The general solution to the 2-dimensional case is
where
,
and
are
harmonic functions
In mathematics, mathematical physics and the theory of stochastic processes, a harmonic function is a twice continuously differentiable function f\colon U \to \mathbb R, where is an open subset of that satisfies Laplace's equation, that ...
and
is a
harmonic conjugate of
.
Just as
harmonic functions
In mathematics, mathematical physics and the theory of stochastic processes, a harmonic function is a twice continuously differentiable function f\colon U \to \mathbb R, where is an open subset of that satisfies Laplace's equation, that ...
in 2 variables are closely related to complex
analytic functions
In mathematics, an analytic function is a function that is locally given by a convergent power series. There exist both real analytic functions and complex analytic functions. Functions of each type are infinitely differentiable, but complex ...
, so are biharmonic functions in 2 variables. The general form of a biharmonic function in 2 variables can also be written as
where
and
are
analytic functions
In mathematics, an analytic function is a function that is locally given by a convergent power series. There exist both real analytic functions and complex analytic functions. Functions of each type are infinitely differentiable, but complex ...
.
See also
*
Harmonic function
In mathematics, mathematical physics and the theory of stochastic processes, a harmonic function is a twice continuously differentiable function f\colon U \to \mathbb R, where is an open subset of that satisfies Laplace's equation, that i ...
References
* Eric W Weisstein, ''CRC Concise Encyclopedia of Mathematics'', CRC Press, 2002. .
* S I Hayek, ''Advanced Mathematical Methods in Science and Engineering'', Marcel Dekker, 2000. .
*
External links
*
* {{MathWorld , urlname=BiharmonicOperator , title=Biharmonic Operator
Elliptic partial differential equations