Problème aux limites

En analyse, un problème aux limites est constitué d'une équation différentielle (ou plus généralement aux dérivées partielles) dont on recherche une solution prenant de plus des valeurs imposées en des limites du domaine de résolution. Contrairement au problème analogue dit de Cauchy, où une ou plusieurs conditions en un même endroit sont imposées (typiquement la valeur de la solution et de ses dérivées successives en un point), auquel le théorème de Cauchy-Lipschitz apporte une réponse générale, les problèmes aux limites sont souvent des problèmes difficiles, et dont la résolution peut à chaque fois conduire à des considérations différentes. Dans le cadre des équations différentielles, une famille classique de problème aux limites est étudiée dans le cadre de la théorie de Sturm-Liouville. Dans le cas des équations aux dérivées partielles, de nombreux problèmes entrent à la fois dans le cadre des problèmes de Cauchy du point de vue d'une variable, dans le cadre des problèmes aux limites par rapport à une autre variable. Par exemple : l'équation d'une corde vibrante, de la forme , où t est une variable de temps, x désigne les abscisses des points de la corde, et y leur ordonnée dont on cherche la variation en fonction de x et t, s'accompagne d'une condition initiale, donnée par y(x,t = 0)=f(x) et d'une condition aux limites, la stabilité des deux points extrêmes de la corde, donnée par y(a ,t) = y(b,t)=0 si le domaine de définition est l'intervalle [a,b] ; l'équation de la chaleur, de la forme , où t est une variable de temps, x un paramètre réel pour une barre dans laquelle est étudiée une diffusion de chaleur, et T la chaleur dans cette barre en fonction de t et x, s'accompagne d'une condition initiale sur la chaleur dans la barre de la forme T(x,0)=f(x), et d'une condition aux limites qui peut prendre plusieurs formes, la plus simple étant de considérer que les extrémités de la barre sont maintenues à température constante, ce qui impose une condition du type T(a ,t) = T(b ,t) = 0 si le domaine de définition est l'intervalle [a,b].