• 
    

    
    

      99热精品在线国产_美女午夜性视频免费_国产精品国产高清国产av_av欧美777_自拍偷自拍亚洲精品老妇_亚洲熟女精品中文字幕_www日本黄色视频网_国产精品野战在线观看 ?

      Free Boundaries Problem for a Class of Parabolic Type Chemotaxis Model

      2023-04-16 18:51:16LYUWenbin

      LYU Wenbin

      School of Mathematical Sciences,Shanxi University,Taiyuan 030006,China.

      Abstract. In this paper,we are interested in a free boundary problem for a chemotaxis model with double free boundaries.We use contraction mapping principle and operator-theoretic approach to establish local solvability of a chemotaxis system in 1-Dimensional domain with non-constant coefficient free boundaries.

      Key Words: Free boundary;chemotaxis;local solution.

      1 Introduction

      In this paper,we consider a free boudary problem for a chemotaxis model with double free boundaries.The model reads as follows

      where

      ?u=u(x,t) is an unknown function of (x,t)∈(g(t),h(t))×(0,T) and it stands for the density of cellular slime molds.In other words,the densityu(x,t)occupies the domain(g(t),h(t)),an open subset of(-1,1),in timetandu(x,t)=0 in the outside of(g(t),h(t));

      ?v=v(x,t) is an unknown function of (x,t)∈(-1,1)×(0,T) and it stands for the concentration of chemical substances secreted by the slime molds;

      ?k1(x,t),k2(x,t)are given continuous functions which satisfy the Lipschitz condition onx,namely there existsL>0,such that

      for anyt∈[0,+∞).Also,k1(x,t),k2(x,t)are bounded ont∈[0,+∞).In other words,there existsC>0 which may depend onx,such that

      ?g(t),h(t)are two unknown moving boundaries;

      ?b∈(0,1)is a given number.

      For general smooth domain Ω,the system (1.1) is based on the well-known chemotaxis model with fixed boundary

      introduced by E.F.Keller and L.A.Segel[1].The problem(1.4)is intensively studied by many authors(see for instance[2-8]).The initial functionsu0∈C0()andv0∈C1()are assumed to be nonnegative.Within this framework,classical results state that

      ?if n=1 then all solutions of(1.4)are global in time and bounded[9];

      ?if n=2 then

      -in the caseu0(x)dx<4π,the solution will be global and bounded[10,11],whereas

      -for anym>4πsatisfyingm∈{4kπ|k∈N}there exists initial data(u0,v0)withm=u0(x)dxsuch that the corresponding solution of (1.4) blows up either in finite or infinite time,provided Ω is simply connected[12,13];

      ?ifn≥3

      -given anyandp>none can find a bound onu0inLq(Ω)andv0inLp(Ω)such that(u,v)is global in time and bounded;on the other hand

      -Ω is a ball then for arbitrarily small mass m >0 there exist u0 and v0 havingu0(x)dx=msuch that(u,v)blows up either in finite or infinite time[7].

      As we all known,in a standard setting for many partial differential equations,we usually assume that the process being described occurs in a fixed domain of the space.But in the real world,the following phenomenon may happen.At the initial state,a kind of amoeba occupied some areas.When foods become rare,they begin to secrete chemical substances on their own.Since the biological time scale is much slower than the chemical one,the chemical substances are full filled with whole domains and create a chemical gradient attracting the cells.In turn,the areas of amoeba may change according to the chemical gradient from time to time.In other words,a part of whose boundary is unknown in advance and that portion of the boundary is called a free boundary.In addition to the standard boundary conditions that are needed in order to solve the PDEs,an additional condition must be imposed at the free boundary.One then seeks to determine both the free boundary and the solution of the differential equations.The theory of free boundaries has seen great progress in the last thirty years; for the state of the field we refer to[14,15].Recently,the free boundary problem has been developed rapidly in combination with economy,biology,physics and geometry.In economics,the free boundary problem can be used to study the pricing problem of Black-Schole model[16,17].In biological mathematics,free boundary value problem can be used to study the development of population and the growth of tumor[18-21].

      In one dimensional case,ifkis a positive constant H.Chen and S.H.Wu[22-25]studied the similar free boundary value problem(1.1)in symmetric situation which contains only one free boundary and established the existence and uniqueness of the solution for the system (1.1).Later,high dimensional symmetry case for the free boundary value problem is considered,see [26,27].In view of the biological relevance of the particular case,nonsymmetric situation,we find it worthwhile to clarify these questions.In addition,the condition thatkis a positive constant in [23-25] seems too strict,it is also worthwhile to consider the system with non-constant coefficientk.In the present paper,we consider the system(1.1)with two free boundaries and the non-constant coefficientkin one-dimensional domain.

      This paper is arranged as follows.In Section 2,we present the main result of the paper.In Section 3,we use the operator semigroup approach to establish some estimates which are essential in the proof of the main result.In Section 4,we shall give the proof of the main result.

      2 Main result

      Now we introduce the following space notations,which will be used in the main result here.ForT >0,we define

      Our main result is:

      Theorem 2.1.Assume p>1and k1(x,t),k2(x,t)satisfy conditions(1.2)and(1.3).If

      and

      where0<b<1and b is a constant.Then there exist T >0small enough,a pair

      and two curves-g(t),h(t)∈C1[0,T]∩{h|h(0)=b},which are the solutions of(1.1).

      3 Some crucial estimates

      In this section,we establish some crucial estimates,which will play key roles in proving the local existence of solution of the system(1.1)in one dimensional case.

      3.1 Some basic properties of the solution

      Lemma 3.1.If u0(x)>0,u0∈L1(-b,b),v0∈L1(-1,1)and(u,v)is the solution of the system(1.1),then we have u(x,t)>0,

      Proof.Sinceu0(x)>0,by standard maximal principle of the parabolic equation,it follows thatu(x,t)>0.Integrating the first equation of(1.1)over(g(t),h(t)),we have

      where the third,fourth,fifth and sixth equations of(1.1)are used.Thus one has

      which implies that

      as required.Integrating the eighth equation of(1.1)over(-1,1),we have

      where the ninth and tenth equations of (1.1) are used.Through simple calculation,we can get

      Hence,the proof of the lemma is completed.

      3.2 Estimates of the solution

      For any fixed-g(t),h(t)∈B,there existsT1>T >0 sufficiently small such that

      for anyt∈[0,T1].And let

      We consider the following problems

      and

      Concerning the system(3.4)and(3.5),we have the following result.

      Lemma 3.2.If p>1,-g(t),h(t)∈B,

      then the system(3.5)admits a unique solution

      with sufficiently small T >0.

      Proof.Step 1The simplicity of the system.

      Eq.(3.5)is equivalent to the following integral equation

      whereD(Δ)=H2,q(-1,1)∩{v(x,t)|vx(-1,t)=vx(1,t)=0}.

      For the equation(3.4),we take the transform

      and set

      for-1≤ξ≤1,and(ξ,t)=0 forξ >1 to straighten the free boundary Γt:x=h(t).A series of detailed calculation asserts

      Hence,the equation can be written as the following integral equation

      The operator-theoretic feature ofeα(t,s)Δnecessary for the proof of this lemma is well known[28].There is a constantC>0 which is independent oftsuch that

      where 1≤q≤p≤+∞.

      Step 2Getting the solution by contraction mapping principle.

      To get the solution by the contraction mapping principle,we take

      and setF(w,z)=(u,v),(w,z)∈B(M,T),whereT,M>0 are constants and

      Step 2.1F:B(M,T)(M,T).

      We have

      by(3.7).Using the facts(3.1),(3.2),(3.3)and(3.6),the terms of the right-hand side of(3.9)are estimated from above by

      Hence,it holds that

      Changing variables,we can easily get

      for(w,z)∈B(L,T).If we takeM>0 as large as

      and then takeT >0 as small as

      it holds that

      We have

      by(3.8).Using the facts(3.6),the terms of the right-hand side of(3.10)are estimated from above by

      Hence,it holds that

      for(w,z)∈B(L,T).If we takeM>0 as large as

      and then takeT >0 as small as

      it holds that

      Step 2.2Fis a contraction mapping.

      For (w1,z1),(w2,z2)∈B(M,T),let (u1,v1),(u2,v2) denote the corresponding solution of the system(3.7)and(3.8)respectively.Then the difference(u1-u2,v1-v2)satisfies

      i.e.

      and

      4 Existence of the solution

      For each-g(t),h(t)∈B,we know that there exists a pair(u,v)∈X×Ysatisfying the system(3.4)and(3.5).Let

      Then we know that for 0≤t1≤t2≤T,

      which meansr(t)∈B.Similarly,we can show-s(t)∈B.Observe thatB ?C[0,T] is a compact,closed and convex subset.

      DefineG:(g(t),h(t))(s(t),r(t)),thereforeGmaps-B×Binto itself.Next we will demonstrate thatGis continuous.Then Schauder theorem yields that there exist a pair(u,v)and two curves Γ:g(t),h(t)which are the solution of(1.1).

      In fact,for-g1(t),-g2(t),h1(t),h2(t)∈B,let (u1,v1) and (u2,v2) represent the corresponding solutions of(3.4)and(3.5)respectively.Then for 0≤t≤T,one has

      The terms on the right-hand side are estimated from above by

      Now,we mainly focus on the term(I2).By Sobolev imbedding theorem and the definition of H¨older space,we have

      On the other hand,we have

      By parabolic theorem and Sobolev imbedding theorem,it holds that

      where

      Then we have

      Take

      It is trivial that

      ash12onC[0,T].Notice

      hence we have

      As‖g1-g2‖C[0,T]and‖h1-h2‖C[0,T]converge to zero,(I1)and(I2)converge to zero.From this we can get that sup0≤t≤T|G(g1,h1)-G(g2,h2)|also converges to zero,which shows that the mapGis continuous onC[0,T]×C[0,T].Now the Schauder theorem yields that there exist a pair(u,v)and two curvesg(t),h(t)which are the solution of(1.1).

      Obviously,gt(t)andht(t)are continuous in[0,T].

      Acknowledgments

      The author warmly thanks the reviewers for several inspiring comments and helpful suggestions.The research of the author was supported by the National Nature Science Foundation of China (Grant No.12101377),the Nature Science Foundation of Shanxi Province (Grant No.20210302124080) and the special fund for Science and Technology Innovation Teams of Shanxi Province(Grant No.202204051002015).

      万宁市| 汉川市| 扶沟县| 崇州市| 纳雍县| 巴林左旗| 黑龙江省| 平顺县| 涪陵区| 平谷区| 镇平县| 石嘴山市| 洪湖市| 辉南县| 黄石市| 双辽市| 辉县市| 文昌市| 永兴县| 古蔺县| 福泉市| 东乡族自治县| 金坛市| 武夷山市| 罗江县| 衡水市| 长治县| 义乌市| 沾益县| 内江市| 辰溪县| 晴隆县| 凌云县| 枣阳市| 乐业县| 措美县| 奉节县| 定陶县| 周宁县| 新野县| 临沭县|