Differential inclusion

Differential inclusion

In mathematics, differential inclusions are a generalization of the concept of ordinary differential equation of the form

\frac{dx}{dt}(t)\in F(t,x(t)),

where F(t, x) is a set rather than a single point in \scriptstyle{\Bbb R}^d. Differential inclusions arise in many situations including differential variational inequalities, projected dynamical systems, dynamic Coulomb friction problems and fuzzy set arithmetic.

For example, the basic rule for Coulomb friction is that the friction force has magnitude μN in the direction opposite to the direction of slip, where N is the normal force and μ is a constant (the friction coefficient). However, if the slip is zero, the friction force can be any force in the correct plane with magnitude smaller than or equal to μN Thus, writing the friction force as a function of position and velocity leads to a set-valued function.

Theory

Existence theory usually assumes that F(tx) is an upper semi-continuous function of x, measurable in t, and that F(tx) is a closed, convex set for all t and x. Existence of solutions for the initial value problem

\frac{dx}{dt}(t)\in F(t,x(t)), \quad x(t_0)=x_0

for a sufficiently small time interval [t0t0 + ε), ε > 0 then follows. Global existence can be shown provided F does not allow "blow-up" (\scriptstyle \Vert x(t)\Vert\,\to\,\infty as \scriptstyle t\,\to\, t^* for a finite \scriptstyle t^*).

Existence theory for differential inclusions with non-convex F(tx) is an active area of research.

Uniqueness of solutions usually requires other conditions. For example, suppose F(t,x) satisfies a one-sided Lipschitz condition:

(x_1-x_2)^T(F(t,x_1)-F(t,x_2))\leq C\Vert x_1-x_2\Vert^2

for some C for all x1 and x2. Then the initial value problem

\frac{dx}{dt}(t)\in F(t,x(t)), \quad x(t_0)=x_0

has a unique solution.

This is closely related to the theory of maximal monotone operators, as developed by Minty and Haïm Brezis.

Applications

Differential inclusions can be used to understand and suitably interpret discontinuous ordinary differential equations, such as arise for Coulomb friction in mechanical systems and ideal switches in power electronics. An important contribution has been made by Filippov, who studied regularizations of discontinuous equations. Further the technique of regularization was used by Krasovskii in the theory of differential games.

References

  • Jean-Pierre Aubin, Arrigo Cellina Differential Inclusions, Set-Valued Maps And Viability Theory, Grundl. der Math. Wiss., vol. 264, Springer - Verlag, Berlin, 1984
  • J.-P. Aubin and H. Frankowska Set-Valued Analysis, Birkh¨auser, Basel, 1990
  • Klaus Deimling Multivalued Differential Equations, Walter de Gruyter, 1992
  • J. Andres, L. Górniewicz Topological Fixed Point Principles for Boundary Value Problems, Kluwer Academic Publishers, 2003

Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать курсовую

Look at other dictionaries:

  • Differential variational inequality — In mathematics, a differential variational inequality (DVI) is a dynamical system that incorporates ordinary differential equations and variational inequalities or complementarity problems. DVIs are useful for representing models involving both… …   Wikipedia

  • Inclusion body myositis — Classification and external resources ICD 10 M60.8 [1] ICD 9 …   Wikipedia

  • Differential diagnosis — Intervention MeSH D003937 A differential diagnosis (sometimes abbreviated DDx, ddx, DD, D/Dx, or ΔΔ) is a systematic diagnostic method used to identify the presence of an entity where multiple alternatives are …   Wikipedia

  • Inclusion map — A is a subset of B, and B is a superset of A. In mathematics, if A is a subset of B, then the inclusion map (also inclusion function, or canonical injection) is the function i that sends each element …   Wikipedia

  • Microvillous inclusion disease — Classification and external resources OMIM 251850 DiseasesDB 32409 eMedicine …   Wikipedia

  • Pushforward (differential) — Suppose that phi; : M → N is a smooth map between smooth manifolds; then the differential of phi; at a point x is, in some sense, the best linear approximation of phi; near x . It can be viewed as generalization of the total derivative of… …   Wikipedia

  • Frobenius theorem (differential topology) — In mathematics, Frobenius theorem gives necessary and sufficient conditions for finding a maximal set of independent solutions of an overdetermined system of first order homogeneous linear partial differential equations. In modern geometric terms …   Wikipedia

  • Hereditary inclusion body myopathy — Hereditary inclusion body myopathies (HIBM) are a heterogeneous group of genetic disorders which have different symptoms. Generally, they are neuromuscular disorders characterized by muscle weakness developing in young adults. Hereditary… …   Wikipedia

  • List of mathematics articles (D) — NOTOC D D distribution D module D D Agostino s K squared test D Alembert Euler condition D Alembert operator D Alembert s formula D Alembert s paradox D Alembert s principle Dagger category Dagger compact category Dagger symmetric monoidal… …   Wikipedia

  • Czesław Olech — Born May 22, 1931 (1931 05 22) (age 80) Pińczów, Poland Nationality Polish …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”