Nonexistence and parameter range estimates for convolution differential equations

C. Goodrich
{"title":"Nonexistence and parameter range estimates for convolution differential equations","authors":"C. Goodrich","doi":"10.1090/bproc/130","DOIUrl":null,"url":null,"abstract":"<p>We consider nonlocal differential equations with convolution coefficients of the form <disp-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"minus upper M left-parenthesis left-parenthesis a asterisk u Superscript q Baseline right-parenthesis left-parenthesis 1 right-parenthesis right-parenthesis u left-parenthesis t right-parenthesis equals lamda f left-parenthesis t comma u left-parenthesis t right-parenthesis right-parenthesis comma t element-of left-parenthesis 0 comma 1 right-parenthesis comma\">\n <mml:semantics>\n <mml:mrow>\n <mml:mo>−<!-- − --></mml:mo>\n <mml:mi>M</mml:mi>\n <mml:mstyle scriptlevel=\"0\">\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mo maxsize=\"1.623em\" minsize=\"1.623em\">(</mml:mo>\n </mml:mrow>\n </mml:mstyle>\n <mml:mstyle scriptlevel=\"0\">\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mo maxsize=\"1.2em\" minsize=\"1.2em\">(</mml:mo>\n </mml:mrow>\n </mml:mstyle>\n <mml:mi>a</mml:mi>\n <mml:mo>∗<!-- ∗ --></mml:mo>\n <mml:msup>\n <mml:mi>u</mml:mi>\n <mml:mi>q</mml:mi>\n </mml:msup>\n <mml:mstyle scriptlevel=\"0\">\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mo maxsize=\"1.2em\" minsize=\"1.2em\">)</mml:mo>\n </mml:mrow>\n </mml:mstyle>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:mn>1</mml:mn>\n <mml:mo stretchy=\"false\">)</mml:mo>\n <mml:mstyle scriptlevel=\"0\">\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mo maxsize=\"1.623em\" minsize=\"1.623em\">)</mml:mo>\n </mml:mrow>\n </mml:mstyle>\n <mml:mi>u</mml:mi>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:mi>t</mml:mi>\n <mml:mo stretchy=\"false\">)</mml:mo>\n <mml:mo>=</mml:mo>\n <mml:mi>λ<!-- λ --></mml:mi>\n <mml:mi>f</mml:mi>\n <mml:mstyle scriptlevel=\"0\">\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mo maxsize=\"1.2em\" minsize=\"1.2em\">(</mml:mo>\n </mml:mrow>\n </mml:mstyle>\n <mml:mi>t</mml:mi>\n <mml:mo>,</mml:mo>\n <mml:mi>u</mml:mi>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:mi>t</mml:mi>\n <mml:mo stretchy=\"false\">)</mml:mo>\n <mml:mstyle scriptlevel=\"0\">\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mo maxsize=\"1.2em\" minsize=\"1.2em\">)</mml:mo>\n </mml:mrow>\n </mml:mstyle>\n <mml:mo>,</mml:mo>\n <mml:mi>t</mml:mi>\n <mml:mo>∈<!-- ∈ --></mml:mo>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:mn>0</mml:mn>\n <mml:mo>,</mml:mo>\n <mml:mn>1</mml:mn>\n <mml:mo stretchy=\"false\">)</mml:mo>\n <mml:mo>,</mml:mo>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">\\begin{equation} -M\\Big (\\big (a*u^q\\big )(1)\\Big )u(t)=\\lambda f\\big (t,u(t)\\big ),t\\in (0,1),\\notag \\end{equation}</mml:annotation>\n </mml:semantics>\n</mml:math>\n</disp-formula>\n and we demonstrate an explicit range of <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"lamda\">\n <mml:semantics>\n <mml:mi>λ<!-- λ --></mml:mi>\n <mml:annotation encoding=\"application/x-tex\">\\lambda</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> for which this problem, subject to given boundary data, will not admit a nontrivial positive solution; if <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"a identical-to 1\">\n <mml:semantics>\n <mml:mrow>\n <mml:mi>a</mml:mi>\n <mml:mo>≡<!-- ≡ --></mml:mo>\n <mml:mn>1</mml:mn>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">a\\equiv 1</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>, then the model case <disp-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"minus upper M left-parenthesis double-vertical-bar u double-vertical-bar Subscript upper L Sub Superscript q Subscript left-parenthesis 0 comma 1 right-parenthesis Superscript q Baseline right-parenthesis u left-parenthesis t right-parenthesis equals lamda f left-parenthesis t comma u left-parenthesis t right-parenthesis right-parenthesis comma t element-of left-parenthesis 0 comma 1 right-parenthesis\">\n <mml:semantics>\n <mml:mrow>\n <mml:mo>−<!-- − --></mml:mo>\n <mml:mi>M</mml:mi>\n <mml:mstyle scriptlevel=\"0\">\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mo maxsize=\"1.623em\" minsize=\"1.623em\">(</mml:mo>\n </mml:mrow>\n </mml:mstyle>\n <mml:mo fence=\"false\" stretchy=\"false\">‖<!-- ‖ --></mml:mo>\n <mml:mi>u</mml:mi>\n <mml:msubsup>\n <mml:mo fence=\"false\" stretchy=\"false\">‖<!-- ‖ --></mml:mo>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:msup>\n <mml:mi>L</mml:mi>\n <mml:mi>q</mml:mi>\n </mml:msup>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:mn>0</mml:mn>\n <mml:mo>,</mml:mo>\n <mml:mn>1</mml:mn>\n <mml:mo stretchy=\"false\">)</mml:mo>\n </mml:mrow>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi>q</mml:mi>\n </mml:mrow>\n </mml:msubsup>\n <mml:mstyle scriptlevel=\"0\">\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mo maxsize=\"1.623em\" minsize=\"1.623em\">)</mml:mo>\n </mml:mrow>\n </mml:mstyle>\n <mml:mi>u</mml:mi>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:mi>t</mml:mi>\n <mml:mo stretchy=\"false\">)</mml:mo>\n <mml:mo>=</mml:mo>\n <mml:mi>λ<!-- λ --></mml:mi>\n <mml:mi>f</mml:mi>\n <mml:mstyle scriptlevel=\"0\">\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mo maxsize=\"1.2em\" minsize=\"1.2em\">(</mml:mo>\n </mml:mrow>\n </mml:mstyle>\n <mml:mi>t</mml:mi>\n <mml:mo>,</mml:mo>\n <mml:mi>u</mml:mi>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:mi>t</mml:mi>\n <mml:mo stretchy=\"false\">)</mml:mo>\n <mml:mstyle scriptlevel=\"0\">\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mo maxsize=\"1.2em\" minsize=\"1.2em\">)</mml:mo>\n </mml:mrow>\n </mml:mstyle>\n <mml:mo>,</mml:mo>\n <mml:mi>t</mml:mi>\n <mml:mo>∈<!-- ∈ --></mml:mo>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:mn>0</mml:mn>\n <mml:mo>,</mml:mo>\n <mml:mn>1</mml:mn>\n <mml:mo stretchy=\"false\">)</mml:mo>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">\\begin{equation} -M\\Big (\\Vert u\\Vert _{L^q(0,1)}^{q}\\Big )u(t)=\\lambda f\\big (t,u(t)\\big ),t\\in (0,1)\\notag \\end{equation}</mml:annotation>\n </mml:semantics>\n</mml:math>\n</disp-formula>\n is obtained. The range of <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"lamda\">\n <mml:semantics>\n <mml:mi>λ<!-- λ --></mml:mi>\n <mml:annotation encoding=\"application/x-tex\">\\lambda</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> is calculable in terms of initial data, and our results allow for a variety of kernels, <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"a\">\n <mml:semantics>\n <mml:mi>a</mml:mi>\n <mml:annotation encoding=\"application/x-tex\">a</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>, to be utilized, including, for example, those leading to a fractional integral coefficient of Riemann-Liouville type. Two examples are provided in order to illustrate the application of the result.</p>","PeriodicalId":106316,"journal":{"name":"Proceedings of the American Mathematical Society, Series B","volume":"32 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2022-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the American Mathematical Society, Series B","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1090/bproc/130","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 1

Abstract

We consider nonlocal differential equations with convolution coefficients of the form M ( ( a u q ) ( 1 ) ) u ( t ) = λ f ( t , u ( t ) ) , t ( 0 , 1 ) , \begin{equation} -M\Big (\big (a*u^q\big )(1)\Big )u(t)=\lambda f\big (t,u(t)\big ),t\in (0,1),\notag \end{equation} and we demonstrate an explicit range of λ \lambda for which this problem, subject to given boundary data, will not admit a nontrivial positive solution; if a 1 a\equiv 1 , then the model case M ( u L q ( 0 , 1 ) q ) u ( t ) = λ f ( t , u ( t ) ) , t ( 0 , 1 ) \begin{equation} -M\Big (\Vert u\Vert _{L^q(0,1)}^{q}\Big )u(t)=\lambda f\big (t,u(t)\big ),t\in (0,1)\notag \end{equation} is obtained. The range of λ \lambda is calculable in terms of initial data, and our results allow for a variety of kernels, a a , to be utilized, including, for example, those leading to a fractional integral coefficient of Riemann-Liouville type. Two examples are provided in order to illustrate the application of the result.

卷积微分方程的不存在性和参数范围估计
我们考虑卷积系数为−M ((a∗u q) (1)) u (t) = λ f (t)的非局部微分方程,U (t)), t∈(0,1),\begin{equation} -M\Big (\big (a*u^q\big )(1)\Big )u(t)=\lambda f\big (t,u(t)\big ),t\in (0,1),\notag \end{equation},我们证明了λ \lambda的显式范围,对于该问题,受给定边界数据的限制,将不允许非平凡正解;若a≡a \equiv 1,则模型情形−M(‖u‖L q (0,1) q) u (t) = λ f (t),U (t)), t∈(0,1)\begin{equation} -M\Big (\Vert u\Vert _{L^q(0,1)}^{q}\Big )u(t)=\lambda f\big (t,u(t)\big ),t\in (0,1)\notag \end{equation}。λ \lambda的范围是可以根据初始数据计算的,我们的结果允许使用各种核,包括,例如,那些导致Riemann-Liouville型分数积分系数的核。为了说明结果的应用,给出了两个例子。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 求助全文
来源期刊
CiteScore
1.60
自引率
0.00%
发文量
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信