In connection with differential equations (more precisely: boundary value problems ), the Dirichlet boundary condition (according to Peter Gustav Lejeune Dirichlet ) refers to values that the function should assume on the respective boundary of the domain of definition.
Further boundary conditions are, for example, Neumann boundary conditions or inclined boundary conditions .
Ordinary differential equation
The Dirichlet problem
In the case of an ordinary differential equation , the domain of the function is a closed interval. As a result, the edge of the definition area consists only of the right and left end of the interval. Due to the freedom in ordinary differential equations, Dirichlet boundary conditions only make sense for equations of the second or higher order. In this case a Dirichlet problem, i.e. H. a differential equation with Dirichlet boundary condition as follows:
Here is a prescribed function, and are prescribed real numbers for the function values of a solution at the interval ends. Finally we are looking for a (classical) solution from the given regularity class .
We choose as our interval and consider the following Dirichlet problem:
With the theory of linear ordinary differential equations with constant coefficients, we first get as a general (classical) solution of the differential equation:
with two freely selectable real constants and . We use the boundary conditions to fix these constants. We get a linear system of equations in the unknowns and :
Remarkably, this system is not uniquely solvable, but for any real thing a solution is given by
Existence and uniqueness
The following sentence is formulated for homogeneous ( ) data. However, this is not a restriction, because a transformation with
an inhomogeneous problem can always be transformed into a homogeneous problem.
The task is given
Let it be a continuous function. In addition, it fulfills a Lipschitz condition , that is, there are numbers such that for all and for all the inequality
is fulfilled. Continue to apply
Be a solution of
vanish for and be the first unique number such that for . Then the underlying task has exactly one solution, if
If, on the other hand , applies , no solution need exist or it does not need to be unique. Furthermore applies
A proof of this theorem can be found in Bailey, Shampine, Waltman. Nonlinear two-point boundary value problems . Academic Press, 1968.
If the right side of the differential equation is only continuous and bounded, then Scorza Dragoni's theorem guarantees the existence of a solution.
Partial differential equations
The Dirichlet problem
In the case of a partial differential equation , the sole specification of Dirichlet boundary conditions only makes sense for elliptical equations in a restricted area , since the other types also require specifications for the initial values. Dirichlet boundary conditions are prescribed on the edge of the area . Here we define the Dirichlet problem for quasi-linear partial differential equations
Here the function represents the prescribed function values of the solution on the edge. The question of the solvability of such a problem is already very demanding and is the focus of current research. It is also very difficult to give a general solution method.
In this example we consider the following boundary value problem in the field :
Here denotes the Laplace operator . First, we note that there is a solution to the problem. We want to find more solutions. We now assume for and make the following product approach
For the functions we derive ordinary differential equations with corresponding Dirichlet boundary conditions. It follows
If the boundary value problem
suffice, then the function defined above is a solution of the Dirichlet boundary value problem for the partial differential equation. Using the example of ordinary differential equations, we get
as a solution to our problem of partial differential equations to Dirichlet boundary conditions. The question remains whether there are any other solutions.
- D. Gilbarg, NS Trudinger: Partial Differential Equations of Second Order , Springer-Verlag, Berlin 1998, ISBN 3-540-41160-7 .