General existence principles for nonlocal boundary value problems with <mml:math alttext="$PHI$"> <mml:mi>φ</mml:mi> </mml:math>-laplacian and their applications
<p>The paper presents general existence principles which can be used for a large class of nonlocal boundary value problems of the form <mml:math alttext="$(phi(x'))'=f_1(t,x,x')+f_2(t,x,x')F_1x+f_3(t,x,x')F_2x$,$alpha(x)=0$"> <mml:mro...
| Format: | Article |
|---|---|
| Language: | English |
| Published: |
Hindawi Limited
2006-01-01
|
| Series: | Abstract and Applied Analysis |
| Online Access: | http://www.hindawi.com/GetArticle.aspx?doi=10.1155/AAA/2006/96826 |
| id |
doaj-74dffd5de40b495a9c417411147ea9b0 |
|---|---|
| record_format |
Article |
| spelling |
doaj-74dffd5de40b495a9c417411147ea9b02020-11-24T23:29:16ZengHindawi LimitedAbstract and Applied Analysis1085-33752006-01-012006General existence principles for nonlocal boundary value problems with <mml:math alttext="$PHI$"> <mml:mi>φ</mml:mi> </mml:math>-laplacian and their applications<p>The paper presents general existence principles which can be used for a large class of nonlocal boundary value problems of the form <mml:math alttext="$(phi(x'))'=f_1(t,x,x')+f_2(t,x,x')F_1x+f_3(t,x,x')F_2x$,$alpha(x)=0$"> <mml:mrow> <mml:msup> <mml:mrow> <mml:mrow> <mml:mo>(</mml:mo> <mml:mrow> <mml:mi>φ</mml:mi> <mml:mrow> <mml:mo>(</mml:mo> <mml:msup> <mml:mi>x</mml:mi> <mml:mo>′</mml:mo> </mml:msup> <mml:mo>)</mml:mo> </mml:mrow> </mml:mrow> <mml:mo>)</mml:mo> </mml:mrow> </mml:mrow> <mml:mo>′</mml:mo> </mml:msup> <mml:mo>=</mml:mo> <mml:msub> <mml:mi>f</mml:mi> <mml:mn>1</mml:mn> </mml:msub> <mml:mrow> <mml:mo>(</mml:mo> <mml:mrow> <mml:mi>t</mml:mi> <mml:mo>,</mml:mo> <mml:mi>x</mml:mi> <mml:mo>,</mml:mo> <mml:msup> <mml:mi>x</mml:mi> <mml:mo>′</mml:mo> </mml:msup> </mml:mrow> <mml:mo>)</mml:mo> </mml:mrow> <mml:mo>+</mml:mo> <mml:msub> <mml:mi>f</mml:mi> <mml:mn>2</mml:mn> </mml:msub> <mml:mrow> <mml:mo>(</mml:mo> <mml:mrow> <mml:mi>t</mml:mi> <mml:mo>,</mml:mo> <mml:mi>x</mml:mi> <mml:mo>,</mml:mo> <mml:msup> <mml:mi>x</mml:mi> <mml:mo>′</mml:mo> </mml:msup> </mml:mrow> <mml:mo>)</mml:mo> </mml:mrow> <mml:msub> <mml:mi>F</mml:mi> <mml:mn>1</mml:mn> </mml:msub> <mml:mi>x</mml:mi> <mml:mo>+</mml:mo> <mml:msub> <mml:mi>f</mml:mi> <mml:mn>3</mml:mn> </mml:msub> <mml:mrow> <mml:mo>(</mml:mo> <mml:mrow> <mml:mi>t</mml:mi> <mml:mo>,</mml:mo> <mml:mi>x</mml:mi> <mml:mo>,</mml:mo> <mml:msup> <mml:mi>x</mml:mi> <mml:mo>′</mml:mo> </mml:msup> </mml:mrow> <mml:mo>)</mml:mo> </mml:mrow> <mml:msub> <mml:mi>F</mml:mi> <mml:mn>2</mml:mn> </mml:msub> <mml:mi>x</mml:mi> <mml:mo>,</mml:mo> <mml:mi>α</mml:mi> <mml:mrow> <mml:mo>(</mml:mo> <mml:mi>x</mml:mi> <mml:mo>)</mml:mo> </mml:mrow> <mml:mo>=</mml:mo> <mml:mn>0</mml:mn> </mml:mrow> </mml:math>, <mml:math alttext="$eta(x)=0$"> <mml:mi>β</mml:mi> <mml:mrow> <mml:mo>(</mml:mo> <mml:mi>x</mml:mi> <mml:mo>)</mml:mo> </mml:mrow> <mml:mo>=</mml:mo> <mml:mn>0</mml:mn> </mml:math>, where <mml:math alttext="$f_j$"> <mml:msub> <mml:mi>f</mml:mi> <mml:mi>j</mml:mi> </mml:msub> </mml:math> satisfy local Carathéodory conditions on some <mml:math alttext="$[0,T]imesmathcal{D}_jsubset R^2$"> <mml:mrow> <mml:mo>[</mml:mo> <mml:mrow> <mml:mn>0</mml:mn> <mml:mo>,</mml:mo> <mml:mi>T</mml:mi> </mml:mrow> <mml:mo>]</mml:mo> </mml:mrow> <mml:mo>×</mml:mo> <mml:msub> <mml:mi>𝒟</mml:mi> <mml:mi>j</mml:mi> </mml:msub> <mml:mo>⊂</mml:mo> <mml:msup> <mml:mi>ℝ</mml:mi> <mml:mn>2</mml:mn> </mml:msup> </mml:math>, <mml:math alttext="$f_j$"> <mml:msub> <mml:mi>f</mml:mi> <mml:mi>j</mml:mi> </mml:msub> </mml:math> are either regular or have singularities in their phase variables <mml:math alttext="$(j=1,2,3)$"> <mml:mrow> <mml:mo>(</mml:mo> <mml:mrow> <mml:mi>j</mml:mi> <mml:mo>=</mml:mo> <mml:mn>1</mml:mn> <mml:mo>,</mml:mo> <mml:mn>2</mml:mn> <mml:mo>,</mml:mo> <mml:mn>3</mml:mn> </mml:mrow> <mml:mo>)</mml:mo> </mml:mrow> </mml:math>, <mml:math alttext="$F_i: C^1[0,T] ightarrow C^0[0,T]$ $(i=1,2)$"> <mml:mrow> <mml:msub> <mml:mi>F</mml:mi> <mml:mi>i</mml:mi> </mml:msub> <mml:mo>:</mml:mo> <mml:msup> <mml:mi>C</mml:mi> <mml:mn>1</mml:mn> </mml:msup> <mml:mrow> <mml:mo>[</mml:mo> <mml:mrow> <mml:mn>0</mml:mn> <mml:mo>,</mml:mo> <mml:mi>T</mml:mi> </mml:mrow> <mml:mo>]</mml:mo> </mml:mrow> <mml:mo>→</mml:mo> <mml:msup> <mml:mi>C</mml:mi> <mml:mn>0</mml:mn> </mml:msup> <mml:mrow> <mml:mo>[</mml:mo> <mml:mrow> <mml:mn>0</mml:mn> <mml:mo>,</mml:mo> <mml:mi>T</mml:mi> </mml:mrow> <mml:mo>]</mml:mo> </mml:mrow> <mml:mrow> <mml:mo>(</mml:mo> <mml:mrow> <mml:mi>i</mml:mi> <mml:mo>=</mml:mo> <mml:mn>1</mml:mn> <mml:mo>,</mml:mo> <mml:mn>2</mml:mn> </mml:mrow> <mml:mo>)</mml:mo> </mml:mrow> </mml:mrow> </mml:math>, and <mml:math alttext="$alpha,eta:C^1[0,T] ightarrowR$"> <mml:mrow> <mml:mi>α</mml:mi> <mml:mo>,</mml:mo> <mml:mi>β</mml:mi> <mml:mo>:</mml:mo> <mml:msup> <mml:mi>C</mml:mi> <mml:mn>1</mml:mn> </mml:msup> <mml:mrow> <mml:mo>[</mml:mo> <mml:mrow> <mml:mn>0</mml:mn> <mml:mo>,</mml:mo> <mml:mi>T</mml:mi> </mml:mrow> <mml:mo>]</mml:mo> </mml:mrow> <mml:mo>→</mml:mo> <mml:mi>ℝ</mml:mi> </mml:mrow> </mml:math> are continuous. The proofs are based on the Leray-Schauder degree theory and use regularization and sequential techniques. Applications of general existence principles to singular BVPs are given.</p>http://www.hindawi.com/GetArticle.aspx?doi=10.1155/AAA/2006/96826 |
| collection |
DOAJ |
| language |
English |
| format |
Article |
| sources |
DOAJ |
| title |
General existence principles for nonlocal boundary value problems with <mml:math alttext="$PHI$"> <mml:mi>φ</mml:mi> </mml:math>-laplacian and their applications |
| spellingShingle |
General existence principles for nonlocal boundary value problems with <mml:math alttext="$PHI$"> <mml:mi>φ</mml:mi> </mml:math>-laplacian and their applications Abstract and Applied Analysis |
| title_short |
General existence principles for nonlocal boundary value problems with <mml:math alttext="$PHI$"> <mml:mi>φ</mml:mi> </mml:math>-laplacian and their applications |
| title_full |
General existence principles for nonlocal boundary value problems with <mml:math alttext="$PHI$"> <mml:mi>φ</mml:mi> </mml:math>-laplacian and their applications |
| title_fullStr |
General existence principles for nonlocal boundary value problems with <mml:math alttext="$PHI$"> <mml:mi>φ</mml:mi> </mml:math>-laplacian and their applications |
| title_full_unstemmed |
General existence principles for nonlocal boundary value problems with <mml:math alttext="$PHI$"> <mml:mi>φ</mml:mi> </mml:math>-laplacian and their applications |
| title_sort |
general existence principles for nonlocal boundary value problems with <mml:math alttext="$phi$"> <mml:mi>φ</mml:mi> </mml:math>-laplacian and their applications |
| publisher |
Hindawi Limited |
| series |
Abstract and Applied Analysis |
| issn |
1085-3375 |
| publishDate |
2006-01-01 |
| url |
http://www.hindawi.com/GetArticle.aspx?doi=10.1155/AAA/2006/96826 |
| _version_ |
1725546494742757376 |
| description |
<p>The paper presents general existence principles which can be used for a large class of nonlocal boundary value problems of the form <mml:math alttext="$(phi(x'))'=f_1(t,x,x')+f_2(t,x,x')F_1x+f_3(t,x,x')F_2x$,$alpha(x)=0$"> <mml:mrow> <mml:msup> <mml:mrow> <mml:mrow> <mml:mo>(</mml:mo> <mml:mrow> <mml:mi>φ</mml:mi> <mml:mrow> <mml:mo>(</mml:mo> <mml:msup> <mml:mi>x</mml:mi> <mml:mo>′</mml:mo> </mml:msup> <mml:mo>)</mml:mo> </mml:mrow> </mml:mrow> <mml:mo>)</mml:mo> </mml:mrow> </mml:mrow> <mml:mo>′</mml:mo> </mml:msup> <mml:mo>=</mml:mo> <mml:msub> <mml:mi>f</mml:mi> <mml:mn>1</mml:mn> </mml:msub> <mml:mrow> <mml:mo>(</mml:mo> <mml:mrow> <mml:mi>t</mml:mi> <mml:mo>,</mml:mo> <mml:mi>x</mml:mi> <mml:mo>,</mml:mo> <mml:msup> <mml:mi>x</mml:mi> <mml:mo>′</mml:mo> </mml:msup> </mml:mrow> <mml:mo>)</mml:mo> </mml:mrow> <mml:mo>+</mml:mo> <mml:msub> <mml:mi>f</mml:mi> <mml:mn>2</mml:mn> </mml:msub> <mml:mrow> <mml:mo>(</mml:mo> <mml:mrow> <mml:mi>t</mml:mi> <mml:mo>,</mml:mo> <mml:mi>x</mml:mi> <mml:mo>,</mml:mo> <mml:msup> <mml:mi>x</mml:mi> <mml:mo>′</mml:mo> </mml:msup> </mml:mrow> <mml:mo>)</mml:mo> </mml:mrow> <mml:msub> <mml:mi>F</mml:mi> <mml:mn>1</mml:mn> </mml:msub> <mml:mi>x</mml:mi> <mml:mo>+</mml:mo> <mml:msub> <mml:mi>f</mml:mi> <mml:mn>3</mml:mn> </mml:msub> <mml:mrow> <mml:mo>(</mml:mo> <mml:mrow> <mml:mi>t</mml:mi> <mml:mo>,</mml:mo> <mml:mi>x</mml:mi> <mml:mo>,</mml:mo> <mml:msup> <mml:mi>x</mml:mi> <mml:mo>′</mml:mo> </mml:msup> </mml:mrow> <mml:mo>)</mml:mo> </mml:mrow> <mml:msub> <mml:mi>F</mml:mi> <mml:mn>2</mml:mn> </mml:msub> <mml:mi>x</mml:mi> <mml:mo>,</mml:mo> <mml:mi>α</mml:mi> <mml:mrow> <mml:mo>(</mml:mo> <mml:mi>x</mml:mi> <mml:mo>)</mml:mo> </mml:mrow> <mml:mo>=</mml:mo> <mml:mn>0</mml:mn> </mml:mrow> </mml:math>, <mml:math alttext="$eta(x)=0$"> <mml:mi>β</mml:mi> <mml:mrow> <mml:mo>(</mml:mo> <mml:mi>x</mml:mi> <mml:mo>)</mml:mo> </mml:mrow> <mml:mo>=</mml:mo> <mml:mn>0</mml:mn> </mml:math>, where <mml:math alttext="$f_j$"> <mml:msub> <mml:mi>f</mml:mi> <mml:mi>j</mml:mi> </mml:msub> </mml:math> satisfy local Carathéodory conditions on some <mml:math alttext="$[0,T]imesmathcal{D}_jsubset R^2$"> <mml:mrow> <mml:mo>[</mml:mo> <mml:mrow> <mml:mn>0</mml:mn> <mml:mo>,</mml:mo> <mml:mi>T</mml:mi> </mml:mrow> <mml:mo>]</mml:mo> </mml:mrow> <mml:mo>×</mml:mo> <mml:msub> <mml:mi>𝒟</mml:mi> <mml:mi>j</mml:mi> </mml:msub> <mml:mo>⊂</mml:mo> <mml:msup> <mml:mi>ℝ</mml:mi> <mml:mn>2</mml:mn> </mml:msup> </mml:math>, <mml:math alttext="$f_j$"> <mml:msub> <mml:mi>f</mml:mi> <mml:mi>j</mml:mi> </mml:msub> </mml:math> are either regular or have singularities in their phase variables <mml:math alttext="$(j=1,2,3)$"> <mml:mrow> <mml:mo>(</mml:mo> <mml:mrow> <mml:mi>j</mml:mi> <mml:mo>=</mml:mo> <mml:mn>1</mml:mn> <mml:mo>,</mml:mo> <mml:mn>2</mml:mn> <mml:mo>,</mml:mo> <mml:mn>3</mml:mn> </mml:mrow> <mml:mo>)</mml:mo> </mml:mrow> </mml:math>, <mml:math alttext="$F_i: C^1[0,T] ightarrow C^0[0,T]$ $(i=1,2)$"> <mml:mrow> <mml:msub> <mml:mi>F</mml:mi> <mml:mi>i</mml:mi> </mml:msub> <mml:mo>:</mml:mo> <mml:msup> <mml:mi>C</mml:mi> <mml:mn>1</mml:mn> </mml:msup> <mml:mrow> <mml:mo>[</mml:mo> <mml:mrow> <mml:mn>0</mml:mn> <mml:mo>,</mml:mo> <mml:mi>T</mml:mi> </mml:mrow> <mml:mo>]</mml:mo> </mml:mrow> <mml:mo>→</mml:mo> <mml:msup> <mml:mi>C</mml:mi> <mml:mn>0</mml:mn> </mml:msup> <mml:mrow> <mml:mo>[</mml:mo> <mml:mrow> <mml:mn>0</mml:mn> <mml:mo>,</mml:mo> <mml:mi>T</mml:mi> </mml:mrow> <mml:mo>]</mml:mo> </mml:mrow> <mml:mrow> <mml:mo>(</mml:mo> <mml:mrow> <mml:mi>i</mml:mi> <mml:mo>=</mml:mo> <mml:mn>1</mml:mn> <mml:mo>,</mml:mo> <mml:mn>2</mml:mn> </mml:mrow> <mml:mo>)</mml:mo> </mml:mrow> </mml:mrow> </mml:math>, and <mml:math alttext="$alpha,eta:C^1[0,T] ightarrowR$"> <mml:mrow> <mml:mi>α</mml:mi> <mml:mo>,</mml:mo> <mml:mi>β</mml:mi> <mml:mo>:</mml:mo> <mml:msup> <mml:mi>C</mml:mi> <mml:mn>1</mml:mn> </mml:msup> <mml:mrow> <mml:mo>[</mml:mo> <mml:mrow> <mml:mn>0</mml:mn> <mml:mo>,</mml:mo> <mml:mi>T</mml:mi> </mml:mrow> <mml:mo>]</mml:mo> </mml:mrow> <mml:mo>→</mml:mo> <mml:mi>ℝ</mml:mi> </mml:mrow> </mml:math> are continuous. The proofs are based on the Leray-Schauder degree theory and use regularization and sequential techniques. Applications of general existence principles to singular BVPs are given.</p> |