مسئله مقدار مرزی

**مسئله مقدار مرزی** عنوان دسته‌ای از مسائل ریاضیات است که در آن‌ها به حل معادلات دیفرانسیلی می‌پردازند که پاسخ معادله می‌باید در نقاط مرزیِ یک مجموعهٔ مفروض، شرایط مشخص‌شده را دارا باشد.
جواب یک مسئله مقدار مرزی، پاسخی از معادله‌ی دیفرانسیل است که شرایط مرزی مسئله را ارضا می‌کند. مسائل مقدار مرزی در شاخه‌های مختلفی از فیزیک ظاهر می‌شوند. مسائلی شامل معادلات موج، مثلاً یافتن مدهای نرمال اغلب به عنوان یک مسئله‌ی مقدار مرزی شناخته می‌شود. دسته‌ی بزرگی از مسائل مهم مقدار مرزی، مسئله‌های اشتورم- لیوویل هستند. 
## مثال
مثالی از یک مسئلهٔ مقدار مرزی به صورت

:y*(x)+y(x)=0 \, </math>

را در نظر بگیرید که هدف حل آن برای یافتن تابع مجهول <math>y(x)</math> با استفاده از شرایط اولیهٔ


:<math>y(0)=0, \ y(\pi/2)=2.</math>


است. بدون داشتن شرایط مرزی، جواب عمومی معادله به صورت زیر قابل محاسبه است:


:<math>y(x) = A \sin(x) + B \cos(x).\,</math>


با در نظر گرفتن شرط <math>y(0)=0</math>

:<math>0 = A \cdot 0 + B \cdot 1</math>

که نتیجه می‌دهد <math>B=0</math>؛ و با توجه به شرط <math>y(\pi/2)=2</math> داریم:

:<math>2 = A \cdot 1 </math>

پس <math>A=2</math>. همان‌طور که مشخص است، با اعمال شرایط مرزی از جواب عمومی به یک جواب اختصاصی رسیدیم که در این مورد به صورت زیر خواهد بود: 

:<math>y(x)=2\sin(x). \,</math>


[[معادلات دیفرانسیل]]، شرایط مرزی به آن دسته از شرایطی گفته می‌شود که در یک مسئله مقدار مرزی اعمال می‌شود.

==شرایط مرزی==
شرایط مرزی در معادلات دیفرانسیل به آن دسته از شرایطی گفته می‌شود که روی پاسخ معادله در مرزها اعمال می‌شود.

==شرط مرزی دیریکله==
*'شرط مرزی دیریکله** یا شرط مرزی نوع اول   ، دسته‌ای از شرایط مرزی است که به افتخار دیریکله هنگامی که این شرط را بر [[معادلات دیفرانسیل جزئی|معادلات دیفرانسیل جزئی]] و [[معادلات دیفرانسیل عادی]] اعمال کرد تا جواب مسئله را پیدا کند، نام‌گذاری شده است.  در [[علوم کاربردی]] به شرط مرزی دیریکله، شرط مرزی ثابت نیز گفته می‌شود. 

<math> L u = f </math>
در ناحیه
<math> \Omega \subset R^{n}</math>



<math>u=g </math>
روی ناحیه <math>\partial \Omega</math>

===شرط مرزی دیریکله در معادلات دیفرانسیل عادی===
معادله‌ی دیفرانسیل عادی زیر را در نظر بگیرید.

<math> y''(x) + y(x)=0</math>

شرط مرزی دیریکله برای این معادله برای <math>x \in [a,b]</math> به فرم زیر است.

<math>y(a) = \alpha
</math>


<math>y(b) = \beta</math>

که <math> \alpha</math> و <math> \beta</math> مقادیر ثابت اند.

===شرط مرزی دیریکله در معادلات دیفرانسیل جزئی===
معادله‌ی دیفرانسیل جزئی زیر را در نظر بگیرید. 

<math>\nabla^{2}y + y=0</math>

که در این‌جا <math>\nabla^{2}</math> عملگر [[لاپلاسین]] است. شرط مرزی دیریکله روی ناحیه‌ی <math>\Omega</math> به فرم زیر است.

<math>y(x) = f(x)</math>

f(x) تابعی است که روی <math>\partial \Omega</math> تعریف می‌شود.

==شرط مرزی نویمن==
**شرط مرزی نویمن**، دسته‌ی دیگری از شرایط مرزی است که پس از نویمن به خاطر تلاش‌هایش برای حل معادلات دیفرانسیل جزئی و عادی با اعمال این شرط بر روی [[مشتق]] پاسخ نام‌گذاری شده است.
===شرط مرزی نویمن در معادلات دیفرانسیل عادی===
برای معادله‌ی دیفرانسیل عادی <math>y'' + p(x) y'+q(x) y=0</math> شرط مرزی نویمن در بازه‌ی [a,b] به فرم <math>y'(a)= \alpha</math> و <math>y'(b) = \beta</math>است، که <math>\alpha</math> و <math>\beta</math> مقادیر ثابت اند.

===شرط مرزی نویمن در معادلات دیفرانسیل جزئی===
در معادله‌ی دیفرانسیل جزئی <math>\nabla^{2}y+y=0</math> که <math>\nabla^{2}</math> عملگر [[لاپلاسین]] است، شرط مرزی نویمن به صورت زیر است. 

<math>\frac{\partial y(x)}{\partial n}=f(x)</math>


<math>\forall x \in \partial \Omega</math>

که n بردار نرمال سطح <math>\partial \Omega</math> و f(x) تابع [[اسکالر]] است.[[مشتق جهتی]] طبق رابطه‌ی زیر تعریف می‌شود:

<math>\frac{\partial y(x)}{\partial n}= \nabla y(x) .\hat n(x)</math>

که <math>\nabla</math> عملگر [[گرادیان]] است.

==شرط مرزی روبین==
**شرط مرزی روبین*' پس از تلاش‌های [[ویکتور گوستاو روبین]]، برای حل معادلات دیفرانسیل عادی و جزئی با شرط مرزی‌ای که [[ترکیب خطی]] از پاسخ و مشتق پاسخ است، به نام روبین نام‌گذاری کرده‌اند.
شرط مرزی روبین ترکیبی از شرط مرزی دیریکله و شرط مرزی نیومن است. به شرط مرزی روبین، شرط مرزی امپدانس نیز گفته می‌شود. این نام‌گذاری به علت کاربردهای این شرط در [[الکترومغناطیس]] صورت گرفته است.

===شرط مرزی روبین در معادلات دیفرانسیل===
اگر <math>\Omega</math> ناحیه‌ی تعریف معادله‌ی دیفرانسیل <math>u*(x)+p(x)u'(x)+q(x)u(x)=0و \partial\Omega مرز آن باشد، شرط مرزی روبین عبارت است از:

au + b\frac{\partial u}{\partial n}=g

ثوابت a و b غیرصفر هستند و تابع g روی \partial\Omega تعریف شده است. u پاسخی از معادله‌ی دیفرانسیل روی \Omega است و \frac{\partial u}{\partial n} مشتق جهتی روی \partial \Omega است. درحالت عمومی a و b می‌توانند تابع باشند.
#### مثال
در یک بعد \Omega =[1,0]، شرط مرزی روبین به فرم زیر درمی‌آید.

au(0)-bu'(0)=g(0)

au(1)+bu'(1)=g(1)

## مسئله‌های مقدار مرزی و معادلات انتگرال
مسائل مقدار مرزی در معادلات دیفرانسیل عادی به معادلات انتگرال فردهلم منجر می‌شود .
معادله‌ی دیفرانسیل عادی زیر را در نظر بگیرید. می‌خواهیم این معادله را به همراه شرایط مرزی‌اش به یک معادله‌ی انتگرال تبدیل کنیم.

y''(x)+A(x) y'(x)+B(x)y(x)=0

y(a)=y_{0} , y(b)=y_{1}

با انتگرال‌گیری از طرفین معادله‌ی بالا از a تاx و استفاده از شرط مرزیy(a)=y_{0} مشاهده می‌کنیم 

y'(x)=C+ \int_{a}^{x} F(x')dx' - A(x)y(x) +A(a)y_{0} + \int_{a}^{x} [A'(x')-B(x')]y(x') dx'

در این‌جا C ثابت انتگرال‌گیری است. با دوباره انتگرال گرفتن از رابطه‌ی بالا داریم:

y(x)-y_{0}=[C+A(a)y_{0}](x-a) +\int_{a}^{x} \int_{a}^{x_{2}} F(x')dx' dx_{2} - \int_{a}^{x} A(x')y(x')dx'+\int_{a}^{x} \int_{a}^{x_{2}} [A'(x')-B(x')]y(x')dx' dx_{2}

با تبدیل انتگرال دوگانه بالا به انتگرال یگانه داریم: 

y(x)-y_{0}= [C+A(a)y_{0}](x-a)+ \int_{a}^{x} (x-t)F(t) dt - \int_{a}^{x} \{A(t)-(x-t)[A'(t)-B(t)]\} y(t)dt

ثابت C در این معادله می‌تواند با استفاده از شرط مرزی y(b)=y_{1} تعیین شود. در نهایت فرم معادله انتگرال فردهلم برای مسئله‌ی مقدار مرزی به شکل زیر است.

y(x)=y_{0} + \int_{a}^{x}(x-t)F(t) dt +[\frac{x-a}{b-a}][(y_{1}-y_{0})-\int(b-t)F(t)dt]-\int_{a}^{x}\{A(t)-(x-t)(A'(t)-B(t))\}y(t)dt+ \int[\frac{x-a}{b-a}]\{A(t)-(b-t)[A'(t)-B(t)]\}y(t)dt

که این معادله را میتوان به فرم y(x)=f(x)+ \int K(x,t) y(t) dt نوشت.در این رابطه تابع f(x) به شکل زیر است:

f(x)=y_{0} + \int_{a}^{x} (x-t)F(t) dt +[\frac{x-a}{b-a}][(y_{1}-y_{0})-\int(b-t) F(t) dt]

و K(x,t) هسته‌ی معادله انتگرال به صورت زیر تعریف می‌شود.

x

K(x,t)=(\frac{x-a}{b-a})(A(t)-(b-t)[A'(t)-B(t)])

x>t :

K(x,t)=A(t)\{[\frac{x-a}{b-a}]-1\}-[A'(t)-B(t)][\frac{(t-a)(b-x)}{b-a}]

## جستارهای وابسته
* مسئله مقدار اولیه
* نظریه اشتورم-لیوویل
* معادله دیفرانسیل با مشتقات پاره‌ای
* معادلات دیفرانسیل هذلولوی با مشتقات جزئی
* معادله لاپلاس

## منابع

* Wikipedia contributors, "Boundary value problem," Wikipedia, The Free Encyclopedia, http://en.wikipedia.org/w/index.php?title=Boundary_value_problem&oldid=655142454 (accessed May 21, 2015).

معادلات دیفرانسیل
معادلات انتگرالی

رده:شرایط مرزی
رده:مسئله‌های ریاضی
رده:معادلات دیفرانسیل با مشتقات جزئی
رده:معادلات دیفرانسیل معمولی