आंशिक अवकल समीकरण

गणित में आंशिक अवकल समीकरण वो अवकल समीकरणें होती हैं जिनमें बहुचर फलन और उनके आंशिक अवकल होते हैं। (यह साधारण अवकल समीकरणों से भिन्न है जिनमें एक ही चर और उसके अवकलों में बंटा हुआ होता है। आंशिक अवकल समीकरणों का उपयोग उन समस्याओं को हल करने में प्रयुक्त किया जाता है जो विभिन्न स्वतंत्र चरों की फलन होती हैं एवं जिन्हें साधारणतया हल कर सकते हैं अथवा हल करने के लिए अभिकलित्र प्रोग्राम बनाया जा सके।

आंशिक अवकल समीकरणो का उपयोग विभिन्न दृष्टिगत घटनाओं यथा ध्वनि, ऊष्मा, स्थिरवैद्युतिकी, विद्युत-गतिकी, द्रव का प्रवाह, प्रत्यास्थता या प्रमात्रा यान्त्रिकी को समझने में किया जा सकता है। ये पृथक प्रतीत होने वाली प्रक्रियाओं को आंशिक अवकल समीकरणों के रूप में सूत्रित किया जा सकता है।

उदाहरण

निम्नलिखित समीकरण, आंशिक अवकल समीकरण का एक उदाहरण है-

<math>\frac{\partial^2 u}{\partial x\partial y} + \frac{\partial u}{\partial x} = -\frac{y}{x}</math>,

जिसका सामान्य हल (जनरल सलूसन) निम्नलिखित है-

<math>u(x,y) = F(y)+e^{-y}G(x)-\ln(x)\left(y-1\right)</math>.

जहाँ <math>F</math> और <math>G</math> यादृच्छिक (आर्बिट्रेरी) फलन हैं।

लाप्लास का समीकरण

<math>{\partial^2 u \over \partial x^2} + {\partial^2 u \over \partial y^2} + {\partial^2 u \over \partial z^2} = 0</math>

तनी हुई डोरी का कम्पन

<math>{\partial^2 u \over \partial x^2} + {\partial^2 u \over \partial y^2} + {\partial^2 u \over \partial z^2} = {1 \over c^2} {\partial^2 u \over \partial t^2}</math

फुर्रे (Fourier) का समीकरण

<math>{\partial^2 u \over \partial x^2} + {\partial^2 u \over \partial y^2} + {\partial^2 u \over \partial z^2} = {1 \over \alpha}{\partial u \over \partial t}</math>

ऐडवेक्सन (advection) समीकरण

<math>\frac{\partial u}{\partial t} + a \frac{\partial u}{\partial x} = 0</math>

लैंगमूर (Langmuir ) का समीकरण

<math> \Delta \psi \ = {1 \over c^2 }. { \partial^2 \psi \over \partial t^2} - { \rho \over \epsilon } </math>

स्टोक्स (Stokes) का समीकरण

<math>\eta \Delta \vec{v} = \overrightarrow{\mathrm{grad}}\,p - \rho \vec{f}</math>,

श्रोडिंगर (Schrödinger) का समीकरण

<math>i\hbar {\partial \psi \over \partial t} \ = \left[ - \frac{\hbar^2}{2m}\Delta + V\right] \psi </math>

क्लीन और गॉर्डन (Klein-Gordon )का समीकरण

<math>-\hbar^2 {\partial^2 \psi \over \partial t^2} \ = - \hbar^2 c^2 \Delta \psi + m^2c^4 \psi </math>

वर्गीकरण

दो ऑर्डर वाले आंशिक अवकल समीकरणों को परवलयी (parabolic), अतिवलयी (hyperbolic) और दीर्घवृत्तीय (elliptic) में विभक्त किया जाता है।

<math>u_{xy}=u_{yx}</math> को मानते हुए, माना दो स्वतन्त्र चरों में, दो-ऑर्डर वाला, सामान्य PDE निम्नलिखित है-

<math>Au_{xx} + 2Bu_{xy} + Cu_{yy} + \cdots \mbox{(lower order terms)} = 0,</math>

जहाँ A, B, C आदि गुणांक x और y पर निर्भर हो सकते हैम। यदि xy-प्लेन के किसी क्षेत्र में <math>A^2 +B^2 + C^2 > 0</math> हो, तो उस क्षेत्र में PDE द्वितीय-ऑर्डर वाला है। यह रूप शांकव (conic section) के समीकरण जैसा है:

<math>Ax^2 + 2Bxy + Cy^2 + \cdots = 0.</math>

दूसरे शब्दों में, , ∂_x के स्थान पर X रखने पर, (और इसी प्रकार अन्य चरों के लिये भी करने पर) नियत गुणांक वाला PDE उसी डिग्री के एक बहुपद में परिवर्तित हो जाता है।

जिस प्रकार डिस्क्रिमिनेन्ट <math>B^2 - 4AC</math> के आधार पर कोनिक सेक्शन्स को parabolic, hyperbolic, और elliptic में बाँटा जाता है, उसी तरह द्वितीय-ऑर्डर वाले PDE को भी वर्गीकृत किया जा सकता है। किन्तु PDE के केस में डिस्क्रिमिनेन्ट <math>B^2 - AC,</math> लिया जाता है।

1. <math>B^2 - AC < 0</math>: solutions of elliptic PDEs are as smooth as the coefficients allow, within the interior of the region where the equation and solutions are defined. For example, solutions of Laplace's equation are analytic within the domain where they are defined, but solutions may assume boundary values that are not smooth. The motion of a fluid at subsonic speeds can be approximated with elliptic PDEs, and the Euler–Tricomi equation is elliptic where x < 0.
2. <math>B^2 - AC = 0</math>: equations that are parabolic at every point can be transformed into a form analogous to the heat equation by a change of independent variables. Solutions smooth out as the transformed time variable increases. The Euler–Tricomi equation has parabolic type on the line where x = 0.
3. <math>B^2 - AC > 0 </math>: hyperbolic equations retain any discontinuities of functions or derivatives in the initial data. An example is the wave equation. The motion of a fluid at supersonic speeds can be approximated with hyperbolic PDEs, and the Euler–Tricomi equation is hyperbolic where x > 0.

If there are n independent variables x₁, x₂ , ..., x_n, a general linear partial differential equation of second order has the form

<math>L u =\sum_{i=1}^n\sum_{j=1}^n a_{i,j} \frac{\partial^2 u}{\partial x_i \partial x_j} \quad \text{ plus lower-order terms} =0.</math>

The classification depends upon the signature of the eigenvalues of the coefficient matrix a_i,j..

1. Elliptic: The eigenvalues are all positive or all negative.
2. Parabolic : The eigenvalues are all positive or all negative, save one that is zero.
3. Hyperbolic: There is only one negative eigenvalue and all the rest are positive, or there is only one positive eigenvalue and all the rest are negative.
4. Ultrahyperbolic: There is more than one positive eigenvalue and more than one negative eigenvalue, and there are no zero eigenvalues. There is only limited theory for ultrahyperbolic equations (Courant and Hilbert, 1962).

इन्हें भी देखें

• अवकल समीकरण
• साधारण अवकल समीकरण