We study the almost everywhere pointwise convergence of the Boussinesq operator along sequences {tn}∞n=1 with limn→∞tn=0 in one dimension. We obtain a characterization of convergence almost everywhere when {tn}∈lr,∞(N) for all f∈Hs(R) provided 0<s<12.
Citation: Dan Li, Fangyuan Chen. On pointwise convergence of sequential Boussinesq operator[J]. AIMS Mathematics, 2024, 9(8): 22301-22320. doi: 10.3934/math.20241086
[1] | Khazan Sher, Muhammad Ameeq, Muhammad Muneeb Hassan, Basem A. Alkhaleel, Sidra Naz, Olyan Albalawi . Novel efficient estimators of finite population mean in stratified random sampling with application. AIMS Mathematics, 2025, 10(3): 5495-5531. doi: 10.3934/math.2025254 |
[2] | Tolga Zaman, Cem Kadilar . Exponential ratio and product type estimators of the mean in stratified two-phase sampling. AIMS Mathematics, 2021, 6(5): 4265-4279. doi: 10.3934/math.2021252 |
[3] | Olayan Albalawi . Estimation techniques utilizing dual auxiliary variables in stratified two-phase sampling. AIMS Mathematics, 2024, 9(11): 33139-33160. doi: 10.3934/math.20241582 |
[4] | Xiaoda Xu . Bounds of random star discrepancy for HSFC-based sampling. AIMS Mathematics, 2025, 10(3): 5532-5551. doi: 10.3934/math.2025255 |
[5] | Sohaib Ahmad, Sardar Hussain, Muhammad Aamir, Faridoon Khan, Mohammed N Alshahrani, Mohammed Alqawba . Estimation of finite population mean using dual auxiliary variable for non-response using simple random sampling. AIMS Mathematics, 2022, 7(3): 4592-4613. doi: 10.3934/math.2022256 |
[6] | Said G. Nassr, T. S. Taher, Tmader Alballa, Neema M. Elharoun . Reliability analysis of the Lindley distribution via unified hybrid censoring with applications in medical survival and biological lifetime data. AIMS Mathematics, 2025, 10(6): 14943-14974. doi: 10.3934/math.2025670 |
[7] | Sohail Ahmad, Moiz Qureshi, Hasnain Iftikhar, Paulo Canas Rodrigues, Mohd Ziaur Rehman . An improved family of unbiased ratio estimators for a population distribution function. AIMS Mathematics, 2025, 10(1): 1061-1084. doi: 10.3934/math.2025051 |
[8] | Abdullah Ali H. Ahmadini, Amal S. Hassan, Ahmed N. Zaky, Shokrya S. Alshqaq . Bayesian inference of dynamic cumulative residual entropy from Pareto Ⅱ distribution with application to COVID-19. AIMS Mathematics, 2021, 6(3): 2196-2216. doi: 10.3934/math.2021133 |
[9] | Jessica Lipoth, Yoseph Tereda, Simon Michael Papalexiou, Raymond J. Spiteri . A new very simply explicitly invertible approximation for the standard normal cumulative distribution function. AIMS Mathematics, 2022, 7(7): 11635-11646. doi: 10.3934/math.2022648 |
[10] | Yasir Hassan, Muhammad Ismai, Will Murray, Muhammad Qaiser Shahbaz . Efficient estimation combining exponential and ln functions under two phase sampling. AIMS Mathematics, 2020, 5(6): 7605-7623. doi: 10.3934/math.2020486 |
We study the almost everywhere pointwise convergence of the Boussinesq operator along sequences {tn}∞n=1 with limn→∞tn=0 in one dimension. We obtain a characterization of convergence almost everywhere when {tn}∈lr,∞(N) for all f∈Hs(R) provided 0<s<12.
Let
Oε={x=(x∗,xn+1)|x∗=(x1,…,xn)∈Qand0<xn+1<εg(x∗)}, |
where
γ1≤g(x∗)≤γ2,∀x∗∈¯Q. | (1) |
Denote
{dˆuε−Δˆuεdt=(H(t,x,ˆuε(t))+G(t,x))dt+m∑j=1cjˆuε∘dwj,x∈Oε,t>τ,∂ˆuε∂νε=0,x∈∂Oε, | (2) |
with the initial condition
ˆuε(τ,x)=ˆϕε(x),x∈Oε, | (3) |
where
As
{du0−1gn∑i=1(gu0yi)yidt=(H(t,(y∗,0),u0(t))+G(t,(y∗,0)))dt+m∑j=1cju0∘dwj,y∗=(y1,…,yn)∈Q,t>τ,∂u0∂ν0=0,y∗∈∂Q, | (4) |
with the initial condition
u0(τ,y∗)=ϕ0(y∗),y∗∈Q, | (5) |
where
Random attractors have been investigated in [2,5,10,19,9] in the autonomous stochastic case, and in [3,21,22,23] in the non-autonomous stochastic case. Recently, the limiting dynamical behavior of stochastic partial differential equations on thin domain was studied in [16,20,13,14,11,12,17,4]. However, in [17,13], we only investigated the limiting behavior of random attractors in
Let
We organize the paper as follows. In the next section, we establish the existence of a continuous cocycle in
Here we show that there is a continuous cocycle generated by the reaction-diffusion equation defined on
{dˆuε−Δˆuεdt=(H(t,x,ˆuε(t))+G(t,x))dt+m∑j=1cjˆuε∘dwj,x=(x∗,xn+1)∈Oε,t>τ,∂ˆuε∂νε=0,x∈∂Oε, | (6) |
with the initial condition
ˆuετ(x)=ˆϕε(x),x∈Oε, | (7) |
where
H(t,x,s)s≤−λ1|s|p+φ1(t,x), | (8) |
|H(t,x,s)|≤λ2|s|p−1+φ2(t,x), | (9) |
∂H(t,x,s)∂s≤λ3, | (10) |
|∂H(t,x,s)∂x|≤ψ3(t,x), | (11) |
where
Throughout this paper, we fix a positive number
h(t,x,s)=H(t,x,s)+λs | (12) |
for all
h(t,x,s)s≤−α1|s|p+ψ1(t,x), | (13) |
|h(t,x,s)|≤α2|s|p−1+ψ2(t,x), | (14) |
∂h(t,x,s)∂s≤β, | (15) |
|∂h(t,x,s)∂x|≤ψ3(t,x), | (16) |
where
Substituting (12) into (6) we get for
{dˆuε−(Δˆuε−λˆuε)dt=(h(t,x,ˆuε(t))+G(t,x))dt+m∑j=1cjˆuε∘dwj,x=(x∗,xn+1)∈Oε,∂ˆuε∂νε=0,x∈∂Oε, | (17) |
with the initial condition
ˆuετ(x)=ˆϕε(x),x∈Oε. | (18) |
We now transfer problem (17)-(18) into an initial boundary value problem on the fixed domain
x∗=y∗,xn+1=εg(y∗)yn+1. |
It follows from [18] that the Laplace operator in the original variable
Δxˆu(x)=|J|divy(|J|−1JJ∗∇yu(y))=1gdivy(Pεu(y)), |
where we denote by
Pεu(y)=(guy1−gy1yn+1uyn+1⋮guyn−gynyn+1uyn+1−n∑i=1yn+1gyiuyi+1ε2g(1+n∑i=1(εyn+1gyi)2)uyn+1). |
In the sequel, we abuse the notation a little bit by writing
Fε(t,y∗,yn+1,s)=F(t,y∗,εg(y∗)yn+1,s),F0(t,y∗,s)=F(t,y∗,0,s), |
where
{duε−(1gdivy(Pεuε)−λuε)dt=(hε(t,y,uε(t))+Gε(t,y))dt+m∑j=1cjuε∘dwj,y=(y∗,yn+1)∈O,Pεuε⋅ν=0,y∈∂O, | (19) |
with the initial condition
uετ(y)=ϕε(y)=ˆϕε∘T−1ε(y),y∈O, | (20) |
where
Given
θ1,t(τ)=τ+t,for allτ∈R. | (21) |
Then
Ω={ω∈C(R,R):ω(0)=0}. |
Let
θtω(⋅)=ω(⋅+t)−ω(t),ω∈Ω,t∈R. | (22) |
Then
dz+αzdt=dw(t), | (23) |
for
Lemma 2.1. There exists a
limt→±∞|ω(t)|t=0for allω∈Ω′, |
and, for such
z∗(ω)=−α∫0−∞eαsω(s)ds |
is well defined. Moreover, for
(t,ω)→z∗(θtω)=−α∫0−∞eαsθtω(s)ds=−α∫0−∞eαsω(t+s)ds+ω(t) |
is a stationary solution of (23) with continuous trajectories. In addition, for
limt→±∞|z∗(θtω)|t=0,limt→±∞1t∫t0z∗(θsω)ds=0, | (24) |
limt→±∞1t∫t0|z∗(θsω)|ds=E|z∗|<∞. | (25) |
Denote by
˜Ω=Ω′1×⋯×Ω′mand F=m⊗j=1Fj, |
Then
Denote by
SCj(t)u=ecjtu,foru∈L2(O), |
and
T(ω):=SC1(z∗1(ω))∘⋯∘SCm(z∗m(ω))=em∑j=1cjz∗j(ω)IdL2(O),ω∈Ω′. |
Then for every
T−1(ω):=SCm(−z∗m(ω))∘⋯∘SC1(−z∗1(ω))=e−m∑j=1cjz∗j(ω)IdL2(O). |
It follows that
On the other hand, since
limt→±∞1t∫t0‖T(θτω)‖2dτ=E‖T‖2=m∏j=1E(e2cjz∗j)<∞, |
and
limt→±∞1t∫t0‖T−1(θτω)‖2dτ=E‖T−1‖2=m∏j=1E(e−2cjz∗j)<∞. |
Remark 1. We now consider
Next, we define a continuous cocycle for system (19)-(20) in
{dvεdt−1gdivy(Pεvε)=(−λ+δ(θtω))vε+T−1(θtω)hε(t,y,T(θtω)vε(t))+T−1(θtω)Gε(t,y),y∈O,t>τ,Pεvε⋅ν=0,y∈∂O, | (26) |
with the initial conditions
vετ(y)=ψε(y),y∈O, | (27) |
where
Since (26) is a deterministic equation, by the Galerkin method, one can show that if
Φε(t,τ,ω,ϕε)=uε(t+τ,τ,θ−τω,ϕε)=T(θt+τω)vε(t+τ,τ,θ−τω,ψε),for all(t,τ,ω,ϕε)∈R+×R×Ω×N. | (28) |
By the properties of
Let
(Rεˆϕε)(y)=ˆϕε(T−1εy),∀ˆϕε∈L2(Oε). |
Given
ˆΦε(t,τ,ω,ˆϕε)=R−1εΦε(t,τ,ω,Rεˆϕε). |
The same change of unknown variable
{dv0dt−n∑i=11g(gv0yi)yi=(−λ+δ(θtω))v0+T−1(θtω)h0(t,y∗,T(θtω)v0(t))+T−1(θtω)G0(t,y∗),y∗∈Q,t>τ,∂v0∂ν0=0,y∗∈∂Q, | (29) |
with the initial conditions
v0τ(y∗)=ψ0(y∗),y∗∈Q, | (30) |
where
The same argument as above allows us to prove that problem (4) and (5) generates a continuous cocycle
Now we want to write equation (26)-(27) as an abstract evolutionary equation. We introduce the inner product
(u,v)Hg(O)=∫Oguvdy,for allu,v∈N |
and denote by
For
aε(u,v)=(J∗∇yu,J∗∇yv)Hg(O), | (31) |
where
J∗∇yu=(uy1−gy1gyn+1uyn+1,…,uyn−gyngyn+1uyn+1,1εguyn+1). |
By introducing on
‖u‖H1ε(O)=(∫O(|∇y∗u|2+|u|2+1ε2u2yn+1)dy)12, | (32) |
we see that there exist positive constants
η1∫O(|∇y∗u|2+1ε2u2yn+1)dy≤aε(u,u)≤η2∫O(∇y∗u|2+1ε2u2yn+1)dy | (33) |
and
η1‖u‖2H1ε(O)≤aε(u,u)+‖u‖2L2(O)≤η2‖u‖2H1ε(O). | (34) |
Denote by
D(Aε)={v∈H2(O),Pεv⋅ν=0on∂O} |
as defined by
Aεv=−1gdivPεv,v∈D(Aε). |
Then we have
aε(u,v)=(Aεu,v)Hg(O),∀u∈D(Aε),∀v∈H1(O). | (35) |
Using
{dvεdt+Aεvε=(−λ+δ(θtω))vε+T−1(θtω)hε(t,y,T(θtω)vε(t))+T−1(θtω)Gε(t,y),y∈O,t>τ,vετ=ψε. | (36) |
To reformulate system (29)-(30), we introduce the inner product
(u,v)Hg(Q)=∫Qguvdy∗,for allu,v∈M, |
and denote by
a0(u,v)=∫Qg▽y∗u⋅▽y∗vdy∗. |
Denote by
D(A0)={v∈H2(Q),∂v∂ν0=0on∂Q} |
as defined by
A0v=−1gn∑i=1(gvyi)yiv∈D(A0). |
Then we have
a0(u,v)=(A0u,v)Hg(Q),∀u∈D(A0),∀v∈H1(Q). |
Using
{dv0dt+A0v0=(−λ+δ(θtω))v0+T−1(θtω)h0(t,y∗,T(θtω)v0(t))+T−1(θtω)G0(t,y∗),y∗∈Q,t>τ,v0τ(s)=ψ0(s),s∈[−ρ,0]. | (37) |
Hereafter, we set
limt→−∞ect‖Bi(τ+t,θtω)‖Xi=0, |
where
Di={Bi={Bi(τ,ω):τ∈R,ω∈Ω}:Bi is tempered in Xi}. |
Our main purpose of the paper is to prove that the cocycle
limε→0supuε∈ˆAεinfu0∈A0ε−1‖uε−u0‖2H1(Oε)=0. | (38) |
To prove (38), we only need to show that the cocycle
limε→0distH(Aε(τ,ω),A0(τ,ω))=0, |
which will be established in the last section of the paper.
Furthermore, we suppose that there exists
¯γΔ=λ0−2E(|δ(ω)|)>0. | (39) |
Let us consider the mapping
γ(ω)=λ0−2|δ(ω)|. | (40) |
By the ergodic theory and (39) we have
limt→±∞1t∫t0γ(θlω)dl=Eγ=¯γ>0. | (41) |
The following condition will be needed when deriving uniform estimates of solutions:
∫τ−∞e12¯γs(‖G(s,⋅)‖2L∞(˜O)+‖φ1(s,⋅)‖2L∞(˜O)+‖ψ3(s,⋅)‖2L∞(˜O))ds<∞,∀τ∈R. | (42) |
When constructing tempered pullback attractors, we will assume
limr→−∞eσr∫0−∞e12¯γs(‖G(s+r,⋅)‖2L∞(˜O)+‖φ1(s+r,⋅)‖2L∞(˜O)+‖ψ3(s+r,⋅)‖2L∞(˜O))ds=0,∀σ>0. | (43) |
Since
∫τ−∞e12¯γs(‖G(s,⋅)‖2L∞(˜O)+‖ψ1(s,⋅)‖L∞(˜O)+‖ψ3(s,⋅)‖2L∞(˜O))ds<∞,∀τ∈R | (44) |
and
limr→−∞eσr∫0−∞e12¯γs(‖G(s+r,⋅)‖2L∞(˜O)+‖ψ1(s+r,⋅)‖2L∞(˜O)+‖ψ3(s+r,⋅)‖2L∞(˜O))ds=0, | (45) |
for any
In this section, we recall and generalize some results in [17] and derive some new uniform estimates of solutions of problem (36) or (19)-(20) which are needed for proving the existence of
Lemma 3.1. Assume that (8)-(11), (39) and (42) hold. Then for every
sup−1≤s≤0‖vε(τ+s,τ−t,θ−τω,ψε)‖2H1ε(O)≤R2(τ,ω), | (46) |
where
R2(τ,ω)=r1(ω)R1(τ,ω)+c∫0−∞e¯γr‖T−1(θrω)‖2(‖G(r+τ,⋅)‖2L∞(˜O)+‖ψ3(r+τ,⋅)‖2L∞(˜O))dr, | (47) |
where
R1(τ,ω)=c∫0−∞e∫r0γ(θlω)dl‖T−1(θrω)‖2‖G(r+τ,⋅)‖2L∞(˜O)dr+c∫0−∞e∫r0γ(θlω)dl‖T−1(θrω)‖2‖ψ1(r+τ,⋅)‖2L∞(˜O)dr, | (48) |
and
Proof. The proof is similar as that of Lemma 3.4 in [17], so we only sketch the proof here. Taking the inner product of (36) with
12ddt‖vε‖2Hg(O)≤−aε(vε,vε)+(−λ0+δ(θtω))‖vε‖2Hg(O)+(T−1(θtω)hε(t,y,T(θtω)vε(t)),vε)Hg(O)+(T−1(θtω)Gε(t,y),vε)Hg(O). | (49) |
By (13), we have
ddt‖vε‖2Hg(O)+2aε(vε,vε)+λ02‖vε‖2Hg(O)+2α1γ1‖T−1(θtω)‖2‖uε‖pLp(O)≤(−λ0+2δ(θtω))‖vε‖2Hg(O)+2λ0γ2|˜O|‖T−1(θtω)‖2‖G(t,⋅)‖2L∞(˜O)+2γ2|˜O|‖T−1(θtω)‖2‖ψ1(t,⋅)‖L∞(˜O). | (50) |
Then, we have for any
e∫στγ(θlω)dl‖vε(σ)‖2Hg(O)+2∫στe∫rτγ(θlω)dlaε(vε(r),vε(r))dr+λ02∫στe∫rτγ(θlω)dl‖vε(r)‖2Hg(O)dr+2α1γ1∫στ‖T−1(θrω)‖2e∫rτγ(θlω)dl‖uε(r)‖pLp(O)dr≤‖vε(τ)‖2Hg(O)+2λ0γ2|˜O|∫στe∫rτγ(θlω)dl‖T−1(θrω)‖2‖G(r,⋅)‖2L∞(˜O)dr+2γ2|˜O|∫στe∫rτγ(θlω)dl‖T−1(θrω)‖2‖ψ1(r,⋅)‖2L∞(˜O)dr, | (51) |
where
Thus by the similar arguments as Lemma 3.1 in [17] we get for every
‖vετ(⋅,τ−t,θ−τω,ψ)‖2L2(O)≤c∫0−∞e∫r0γ(θlω)dl‖ψ1(r+τ,⋅)‖2L∞(˜O)dr+c∫0−∞e∫r0γ(θlω)dl‖T−1(θrω)‖2‖G(r+τ,⋅)‖2L∞(˜O)dr+c∫0−∞e∫r0γ(θlω)dl‖T−1(θrω)‖2‖ψ1(r+τ,⋅)‖2L∞(˜O)dr. | (52) |
Moreover, taking the inner product of (36) with
12ddtaε(vε,vε)+‖Aεvε‖2Hg(O)≤(−λ0+δ(θtω))aε(vε,vε)+(T−1(θtω)hε(t,y,T(θtω)vε(t)),Aεvε)Hg(O)+(T−1(θtω)Gε(t,y),Aεvε)Hg(O). | (53) |
By (15)-(16) we have
ddtaε(vε,vε)+‖Aεvε‖2Hg(O)≤(c+2δ(θtω))aε(vε,vε)+c‖T−1(θtω)‖2(‖G(t,⋅)‖2L∞(˜O)+‖ψ3(t,⋅)‖2L∞(˜O)), | (54) |
The left proof is similar of that Lemma 3.4 in [17], so we omit it here.
We are now in a position to establish the uniform estimates for the solution
Lemma 3.2. Assume that (8)-(11), (39) and (42) hold. Then for every
sup−1≤s≤0‖uε(τ+s,τ−t,θ−τω,ϕε)‖2H1ε(O)≤r2(ω)R2(τ,ω), | (55) |
where
Lemma 3.3. Assume that (8)-(11), (39) and (42) hold. Then for every
sup−1≤s≤0‖vε(τ+s,τ−t,θ−τω,ψε)‖pLp(O)+∫ττ−ρ‖vε(r,τ−t,θ−τω,ψε)‖2p−2L2p−2(O)dr≤R3(τ,ω), | (56) |
where
Proof. The proof is similar as that of Lemma 3.6 in [14], so we omit it here.
Lemma 3.4. Assume that (8)-(11), (39) and (42) hold. Then for every
∫0−1eγMp−2s∫{y∈O: vε(s+τ,τ−t,θ−τω,ψε)≥2M}|vε(s+τ,τ−t,θ−τω,ψε)|2p−2dyds≤η, | (57) |
∫0−1eγMp−2s∫{y∈O: vε(s+τ,τ−t,θ−τω,ψε)≤−2M}|vε(s+τ,τ−t,θ−τω,ψε)|2p−2dyds≤η. | (58) |
Proof. Let
1pddt‖(vε−M)+‖pLp(O)+(p−1)∫vε≥M(vε−M)p−2aε(vε,vε)dx≤(δ(θtω)vε,(vε−M)p−1+)+(T−1(θtω)hε(t,y,T(θtω)vε),(vε−M)p−1+)+(T−1(θtω)Gε(t,y),(vε−M)p−1+). | (59) |
For the first term on the right side of (59) we have
|(δ(θtω)vε,(vε−M)p−1+)|≤1p|δ(θrω)|p∫O|vε|pdx+p−1p∫O(vε−M)p+dx. | (60) |
For the second term on the right-hand side of (59), by (8), we obtain, for
hε(t,y,T(θtω)vε) (vε−M)p−1+≤−α1‖T(θtω)‖p−1(vε)p−1(v−M)p−1+ |
+‖T(θtω)‖−1ψ1(t,y∗,εg(y∗)yn+1)(vε)−1(vε−M)p−1+ |
≤−12α1Mp−2‖T(θtω)‖p−1(vε−M)p+−12α1‖T(θtω)‖p−1(vε−M)2p−2+ |
+‖T−1(θtω)‖−1|ψ1(t,y∗,εg(y∗)yn+1)|(vε−M)p−2+ |
which implies
(T−1(θtω)hε(t,y,T(θtω)vε), (vε−M)p−1+) |
≤−12α1Mp−2‖T(θtω)‖p−2∫O(vε−M)p+dx−12α1‖T−1(θtω)‖p−2∫O(vε−M)2p−2+dx |
+‖T(θtω)‖−2∫O|ψ1(t,y∗,εg(y∗)yn+1)|(vε−M)p−2+dx |
≤−12α1Mp−2‖T(θtω)‖p−2∫O(vε−M)p+dx−12α1‖T(θtω)‖p−2∫O(vε−M)2p−2+dx |
+p−2p∫O(vε−M)p+dx+2p‖T(θtω)‖−p∫O|ψ1(t,y∗,εg(y∗)yn+1)|p2dy. | (61) |
The last term in (59) is bounded by
(T−1(θtω)Gε(t,y),(vε−M)p−1+)≤18α1‖T(θtω)‖p−2∫O(vε−M)2p−2+dx+2α1‖T(θtω)‖−p∫vε≥M|Gε(t,y)|2dy. | (62) |
All above estimates yield
ddt‖(vε−M)+‖pLp(O)−(2p−3−12pα1Mp−2‖T(θtω)‖p−2)∫O(vε−M)p+dx+14pα1‖T(θtω)‖p−2∫O(vε−M)2p−2+dx≤|δ(θrω)|p∫O|vε|pdx+2‖T(θtω)‖−p∫O|ψ1(t,y∗,εg(y∗)yn+1)|p2dy+2pα1‖T(θtω)‖−p∫O|Gε(t,y)|2dy. | (63) |
Multiplying (63) by
‖(vε(τ,τ−t,ω,ψε)−M)+‖pLp(O) |
+14pα1∫ττ−1‖T(θζω)‖p−2e−∫ζτ(2p−3−12pα1Mp−2‖T(θrω)‖p−2)dr |
×∫O(vε(ζ,τ−t,ω,ψε)−M)2p−2+dxdζ |
≤e−∫τ−1τ(2p−3−12pα1Mp−2‖T(θrω)‖p−2)dr‖(vε(τ−1,τ−t,ω,ψε)−M)+‖pLp(O) |
+∫ττ−1|δ(θζω)|pe−∫ζτ(2p−3−12pα1Mp−2‖T(θrω)‖p−2)dr‖vε(ζ,τ−t,ω,ψε)‖pLp(O)dζ |
+2|O|∫ττ−1‖T(θζω)‖−pe−∫ζτ+ξ(2p−3−12pα1Mp−2‖T(θrω)‖p−2)dr‖ψ1(ζ,⋅)‖p2L∞(˜O)dζ. |
+2p|O|α1∫ττ−1‖T(θζω)‖−pe−∫ζτ+ξ(2p−3−12pα1Mp−2‖T(θrω)‖p−2)dr‖G(ζ,⋅)‖2L∞(˜O)dζ, | (64) |
where
14pα1∫0−1‖T(θζω)‖p−2e−∫ζ0(2p−3−12pα1Mp−2‖T(θrω)‖p−2)dr |
×∫O(vε(ζ+τ,τ−t,θ−τω,ψε)−M)2p−2+dxdζ |
≤e−∫−10(2p−3−12pα1Mp−2‖T(θrω)‖p−2)dr‖(vε(τ−1,τ−t,θ−τω,ψε)−M)+‖pLp(O) |
+∫0−1|δ(θζ+ξω)|pe−∫ζ0(2p−3−12pα1Mp−2‖T(θrω)‖p−2)dr‖vε(ζ+τ,τ−t,θ−τω,ψε)‖pLp(O)dζ |
+2|O|∫0−1‖T(θζω)‖−pe−∫ζ0(2p−3−12pα1Mp−2‖T(θrω)‖p−2)dr‖ψ1(ζ+τ,⋅)‖p2L∞(˜O)dζ. |
+2p|O|α1∫0−1‖T(θζω)‖−pe−∫ζ0(2p−3−12pα1Mp−2‖T(θrω)‖p−2)dr‖G(ζ+τ,⋅)‖2L∞(˜O)dζ. | (65) |
Since
c1≤12pα1‖T(θrω)‖p−2≤c2 for all r∈[−ρ−1,0]. | (66) |
By (66) we obtain
ec2Mp−2ζ≤e∫ζ+ξξ12pα1Mp−2‖T(θrω)‖p−2dr≤ec1Mp−2ζ for all ζ∈[−1,0]andξ∈[−ρ,0]. | (67) |
For the left-hand side of (65), by (67) we find that there exists
14pα1∫0−1‖T(θζω)‖p−2e−∫ζ0(2p−3−12pα1Mp−2‖T(θrω)‖p−2)dr |
∫O(vε(ζ+τ,τ−t,θ−τω,ψε)−M)2p−2+dxdζ |
≥c3∫0−1ec2Mp−2ζ∫O(vε(ζ+τ,τ−t,θ−τω,ψε)−M)2p−2+dxdζ. | (68) |
For the first term on the right-hand side of (65), by (67) we obtain
e−∫−10(2p−3−12pα1Mp−2‖T(θrω)‖p−2)dr‖(vε(τ−1,τ−t,θ−τω,ψε)−M)+‖pLp(O) |
≤e2p−3e−c1Mp−2‖(vε(τ−1,τ−t,θ−τω,ψε)−M)+‖pLp(O) |
≤e2p−3e−c1Mp−2‖vε(τ−1,τ−t,θ−τω,ψε)‖pLp(O). | (69) |
Similarly, for the second terms on the right-hand side of (65), we have from (67) there exists
∫0−1|δ(θζω)|pe−∫ζ0(2p−3−12pα1Mp−2‖T(θrω)‖p−2)dr‖vε(ζ+τ,τ−t,θ−τω,ψε)‖pLp(O)dζ |
≤c4∫0−1ec1Mp−2ζ‖vε(ζ+τ,τ−t,θ−τω,ψε)‖pLp(O)dζ | (70) |
Since
2|O|∫0−1‖T(θζω)‖−pe−∫ζ0(2p−3−12pα1Mp−2‖T(θrω)‖p−2)dr‖ψ1(ζ+τ,⋅)‖p2L∞(˜O)dζ. |
+2p|O|α1∫0−1‖T(θζω)‖−pe−∫ζ0(2p−3−12pα1Mp−2‖T(θrω)‖p−2)dr‖G(ζ+τ,⋅)‖2L∞(˜O)dζ |
≤c5∫0−1ec1Mp−2ζdζ≤c−11c5M2−p. | (71) |
By (68)-(71) we get from (65) that
c3∫0−1ec2Mp−2ζ∫O(vε(ζ+τ,τ−t,θ−τω,ψε)−M)2p−2+dydζ |
≤e2p−3e−c1Mp−2‖vε(τ−1,τ−t,θ−τω,ψε)‖pLp(O) |
+c4∫0−1ec1Mp−2ζ‖vε(ζ+τ,τ−t,θ−τω,ψε)‖pLp(O)dζ+c−11c5M2−p, |
which together with Lemma 3.2 and Lemma 3.3 implies that there exist
c3∫0−1ec2Mp−2ζ∫O(vε(ζ+τ,τ−t,θ−τω,ψε)−M)2p−2+dxdζ |
≤c6e−c1Mp−2+c6∫0−1ec1Mp−2ζdζ+c−11c5M2−p≤c6e−c1Mp−2+c−11(c5+c6)M2−p. | (72) |
Since
∫0−1ec2Mp−2ζ∫O(vε(ζ+τ,τ−t,θ−τω,ψε)−M)2p−2+dydζ≤η. | (73) |
Note that
∫0−1ec2Mp−2ζ∫{y∈O: vε(ζ+τ,τ−t,θ−τω,ψε)≥2M}|vε(ζ+τ,τ−t,θ−τω,ψε)|2p−2dydζ≤22p−2∫0−1ec2Mp−2ζ∫O(vε(ζ+τ,τ−t,θ−τω,ψε)−M)2p−2+dxdζ≤22p−2η. | (74) |
Similarly, one can verify that there exist
∫0−1ec2Mp−2ζ∫{y∈O: vε(ζ+τ,τ−t,θ−τω,ψε)≤−2M}|vε(ζ+τ,τ−t,θ−τω,ψε)|2p−2dydζ≤22p−2η. | (75) |
Then Lemma 3.4 follows from (3) and (75) immediately.
Note that
0≤λε1≤λε2≤…≤λεn≤⋯→+∞, |
and their associated eigenfunctions
It follows from Corollary 9.7 in [8] that the eigenvalues and the eigenfunctions of
Next, we introduce the spectral projections. We use
Pεn(u)=m∑i=1(u,ϖεi)Yεϖεiforu∈Yε. |
We use
aε(u,u)=(Aεu,u)Hg(O)≤λεn(u,u)Hg(O),∀u∈PεnD(A1/2ε). | (76) |
and
aε(u,u)=(Aεu,u)Hg(O)≥λεm+1(u,u)Hg(O),u∈QεmD(A1/2ε). | (77) |
Let
Lemma 3.5. Assume that (8)-(11), (39) and (42) hold. Then for every
‖uε2(τ,τ−t,θ−τω,ϕε)‖H1(O)≤η. |
Proof. Taking the inner product (36) with
12ddtaε(vε2,vε2)+‖Aεvε2‖2≤(δ(θtω)vε2,Aεvε2)+(QεnT−1(θtω)hε(t,y,T(θtω)vε),Aεvε2)+(QεnT−1(θtω)Gε(t,y),Aεvε2). | (78) |
For the first term on the right-hand side of (78), we have
(δ(θtω)vε2,Aεvε2)≤18‖Aεvε2‖2+2|δ(θtω)|2‖vε2‖2. | (79) |
For the superlinear term, we have from (9) that
(QεnT−1(θtω)hε(t,y,T(θtω)vε),Aεvε2)≤18‖Aεvε2‖2+2‖T−1(θtω)‖2∫O|hε(t,y,T(θtω)vε)|2dy≤18‖Aεvε2‖2+2α2‖T−1(θtω)‖2∫O(|T(θtω)vε|p−1+ψ2(t,y∗,εg(y∗)yn+1))2dy≤18‖Aεvε2‖2+4α2‖T(θtω)‖2p−4‖v‖2p−22p−2+4α2|O|‖T−1(θtω)‖2‖ψ2(t,⋅)‖2L∞(˜O). | (80) |
For the last term on the right-hand side of (78), we have
(QεnT−1(θtω)Gε(t,y),Aεvε2)≤18‖Aεvε2‖2+2|O|‖T−1(θtω)‖2‖G(t,⋅)‖2L∞(˜O) | (81) |
Noting that
ddtaε(vε2,vε2)+λεn+1aε(vε2,vε2)≤4δ2(θtω)‖vε2‖2+8α2‖T(θtω)‖2p−4‖vε‖2p−22p−2+c‖T−1(θtω)‖2(‖ψ2(t,⋅)‖2L∞(˜O)+‖G(t,⋅)‖2L∞(˜O)). | (82) |
Taking
aε(vε2(τ,τ−t,θ−τω,ψε),vε2(τ,τ−t,θ−τω,ψε))≤∫ττ−1eλεn+1(r−τ)aε(vε2(r,τ−t,θ−τω,ψε),vε2(r,τ−t,θ−τω,ψε))dr+4δ2∫ττ−1eλεn+1(r−τ)δ2(θr−τω)aε(vε2(r,τ−t,θ−τω,ψε),vε2(r,τ−t,θ−τω,ψε))dr+8α2∫ττ−1eλεn+1(r−τ)‖T(θr−τω)‖2p−4‖vε(r,τ−t,θ−τω,ψε)‖2p−22p−2dr+c∫ττ−1eλεn+1(r−τ)‖T−1(θr−τω)‖2(‖ψ2(r,⋅)‖2L∞(˜O))dr+c∫ττ−1eλεn+1(r−τ)‖T−1(θr−τω)‖2‖G(r,⋅)‖2L∞(˜O)dr. | (83) |
Since
aε(vε2(τ,τ−t,θ−τω,ψε),vε2(τ,τ−t,θ−τω,ψε))≤c∫0−1eλεn+1r‖vε(r+τ,τ−t,θ−τω,ψε)‖2p−22p−2dr+c∫0−1eλεn+1raε(vε(r+τ,τ−t,θ−τω,ψε),vε(r+τ,τ−t,θ−τω,ψε))dr |
+c∫0−1eλεn+1rdr≤c∫0−1e(λ0n+1−1)r‖vε(r+τ,τ−t,θ−τω,ψε)‖2p−22p−2dr+c∫0−1e(λ0n+1−1)raε(vε(r+τ,τ−t,θ−τω,ψε),vε(r+τ+s,τ−t,θ−τω,ψε))dr+c∫0−1e(λ0n+1−1)r‖vε(r+τ−ρ0(r+τ+s),τ−t,θ−τω,ψε)‖2dr+c∫0−1e(λ0n+1−1)rdr. | (84) |
Given
c∫0−1e(λ0n+1−1)r‖vε(r+τ,τ−t,θ−τω,ψε)‖2p−22p−2dr≤c∫0−1e(λ0n+1−1)r∫{y∈O:|vε|≥2M}|vε(r+τ,τ−t,θ−τω,ψε)|2p−2dydr+c∫0−1e(λ0n+1−1)r∫{y∈O:|vε|<2M}|vε(r+τ,τ−t,θ−τω,ψε)|2p−2dydr≤c∫0−1eγMp−2r∫{y∈O:|vε|≥2M}|vε(r+τ,τ−t,θ−τω,ψε)|2p−2dydr+c∫0−1e(λ0n+1−1)r∫{y∈O:|vε|<2M}|vε(r+τ,τ−t,θ−τω,ψε)|2p−2dydr≤η+c22p−2M2p−2|O|∫0−1e(λ0n+1−1)rdr≤η+c22p−2M2p−2|O|1λ0n+1−1. | (85) |
For the last three terms on the right-hand side of (84), by Lemma 3.1, we find that there exist
c∫0−1e(λ0n+1−1)raε(vε(r+τ,τ−t,θ−τω,ψε),vε(r+τ,τ−t,θ−τω,ψε))dr+c∫0−1e(λ0n+1−1)rdr≤c1∫0−1e(λ0n+1−1)rdr≤c11λ0n+1−1. | (86) |
Since
aε(vε2(τ+s,τ−t,θ−τω,ψε),vε2(τ+s,τ−t,θ−τω,ψε))≤2η, |
which together
In this subsection, we establish the existence of
Lemma 4.1. Suppose (8)-(11), (39) and (43) hold. Then the cocycle
Proof. We first notice that, by Lemma 3.2,
K(τ,ω)={u∈H1(O):‖u‖2H1(O)≤L(τ,ω)}, | (87) |
where
Φε(t,τ−t,θ−tω,D(τ−t,θ−tω))⊆K(τ,ω). |
Thus we find that
Lemma 4.2. Assume that (8)-(11), (39) and (43) hold. Then, the cocycle
Proof. We will show that for every
‖uε2(τ,τ−tn,θ−τω,ϕε)‖H1(O)=‖Qm0uε(τ,τ−tn,θ−τω,ϕε)‖H1(O)<η4. | (88) |
On the other hand, by Lemma 3.2 we find that the sequence
Theorem 4.3. Assume that (8)-(11), (39) and (43) hold. Then, the cocycle
Proof. First, we know from Lemma 4.1 that
Analogous results also hold for the solution of (4)-(5). In particular, we have:
Theorem 4.4. Assume that (8)-(11), (39) and (43) hold. Then, the cocycle
The following estimates are needed when we derive the convergence of pullback attractors. By the similar proof of that of Theorem 5.1 in [14], we get the following lemma.
Lemma 5.1. Assume that (8)-(11) and (39) hold. Then for every
∫tτ‖vε(r,τ,ω,ψε)‖2H1ε(O)dr≤c‖ψε‖2N+c∫τ+Tτ(‖G(r,⋅)‖2L∞(˜O)+‖ψ1(r,⋅)‖2L∞(˜O))dr, |
where
Similarly, one can prove
Lemma 5.2. Assume that (8)-(11) and (39) hold. Then for every
∫tτ‖v0(r,τ,ω,ψ0)‖2H1(Q)dr≤c‖ψ0‖2M+c∫τ+Tτ(‖G(r,⋅)‖2L∞(˜O)+‖ψ1(r,⋅)‖2L∞(˜O))dr, |
where
In the sequel, we further assume the functions
‖Gε(t,⋅)−G0(t,⋅)‖L2(O)≤κ1(t)ε | (89) |
and
‖Hε(t,⋅,s)−H0(t,⋅,s)‖L2(O)≤κ2(t)ε, | (90) |
where
By (12) and (90) we have, for all
‖hε(t,⋅,s)−h0(t,⋅,s)‖L2(O)≤κ2(t)ε. | (91) |
Since
Theorem 5.3. Suppose (8)-(11), (39), and (89)-(90) hold. Given
limn→∞‖Φεn(t,τ,ω,ϕεn)−Φ0(t,τ,ω,ϕ0)‖N=0. |
Proof. Since
‖vεn(t)−v0(t)‖2N≤c‖ϕεn−ϕ0‖2N+cmaxν∈[τ,t]ξ(θνω)∫tτ‖vεn(s)−v0(s)‖2Nds |
+cεnmaxν∈[τ,t]‖T−1(θνω)‖∫tτ(‖vεn(s)‖2H1εn(O)+‖v0(s)‖2H1(Q))ds+cεnmaxν∈[τ,t]‖T−1(θνω)‖∫tτ(κ21(s)+κ22(s))ds+cεn∫tτ(‖vεn(s)‖2H1εn(O)+‖v0(s)‖2H1(Q))ds, | (92) |
where
‖vεn(t)−v0(t)‖2N≤ec(1+maxν∈[τ,τ+T]ξ(θνω))T‖ϕεn−ϕ0‖2N+ϱεnec(1+maxν∈[τ,τ+T]ξ(θνω))T[‖ψ0‖2M+‖ψεn‖2N+∫τ+Tτ(κ21(s)+κ22(s))ds+∫τ+Tτ(‖G(s,⋅)‖2L∞(˜O)+‖ψ1(s,⋅)‖2L∞(˜O))ds]. | (93) |
Notice that, for all
\begin{eqnarray} &&\| {u^{\varepsilon_n} ( {t,\tau,\omega ,\phi^\varepsilon } ) - u^0( {t,\tau,\omega ,\phi^0 } )} \|_{\mathcal N}^2 \\ &\leq& \mathop {\max }\limits_{\nu \in [ {\tau ,\tau + T} ]} \| {{\mathcal T}( {\theta _\nu \omega } )} \|^2 \| {v^{\varepsilon_n} ( {t,\tau,\omega ,{ {\mathcal T}}^{ - 1} ( {\theta _\tau \omega } )\phi^\varepsilon } ) - v^0( {t,\tau,\omega ,{ {\mathcal T}}^{ - 1} ( {\theta _\tau \omega } )\phi^0 } }\|_{\mathcal N }^2, \end{eqnarray} |
which together with (93) implies the desired results.
The next result is concerned with uniform compactness of attractors with respect to
Lemma 5.4. Assume that (8)-(11), (39) and (43) hold. If
\mathop {\lim }\limits_{n \to \infty } \left\| {u^{\varepsilon_n} - u} \right\|_{H^1(\mathcal O)} = 0. |
Proof. Take a sequence
\begin{equation} u^{\varepsilon_n} = \Phi _{\varepsilon _n } \left( {t_n ,\tau - t_n ,\theta _{ - t_n } \omega ,\phi^{\varepsilon_n} } \right). \end{equation} | (94) |
By Lemma 4.1, we have
\begin{equation} \left\| { {Q_{N_1}^{\varepsilon_n} } u^{\varepsilon_n}\left( {\tau,\tau-t_n,\theta _{ - \tau} \omega , \phi^{\varepsilon_n}} \right)} \right\|_{H^1(\mathcal O)} \le \eta. \end{equation} | (95) |
By Lemma 3.2, we have
\begin{equation} \|{ {P_{N_1}^{\varepsilon_n} } u^{\varepsilon_n}\left( {\tau,\tau-t_n,\theta _{ - \tau} \omega , \phi^{\varepsilon_n}} \right)}\|_{H^1(\mathcal O)} < M. \end{equation} | (96) |
It follows from (95) and (96) that
\begin{equation} \mathop {\lim }\limits_{n \to \infty } \left\| {u^{\varepsilon_n} - u } \right\|_{H^1(\mathcal O)} = 0. \end{equation} | (97) |
This completes the proof.
Now we are in a position to prove the main result of this paper.
Theorem 5.5. Assume that (8)-(11), (39), (43), and (89)-(90) hold. The attractors
\mathop {\lim }\limits_{\varepsilon \to 0} \mathit{\text{dist}}_{H^1(\mathcal O)} \left( {\mathcal{A}_\varepsilon \left(\tau, \omega \right),\mathcal{A}_0 \left(\tau, \omega \right)} \right) = 0. |
Proof. Given
\begin{equation} \| u\|^2_{H^1_\varepsilon ( {\mathcal{O}})} \le L(\tau, \omega) \quad \mbox{for all } \ 0 < \varepsilon < \varepsilon_0 \ \ \mbox{and} \ u \in \mathcal{A}_\varepsilon (\tau, \omega), \end{equation} | (98) |
where
\begin{equation} \text{dist}_{H^1(\mathcal O)} \left( {z_n ,\mathcal{A}_0 \left(\tau, \omega \right)} \right) \ge \delta\quad \text{for all}\quad n\in \mathbb{N}. \end{equation} | (99) |
By Lemma 5.4 there exists
\begin{equation} \mathop {\lim }\limits_{n \to \infty } \left\| {z_n - z_ * } \right\|_{H^1(\mathcal O)} = 0. \end{equation} | (100) |
By the invariance property of the attractor
\begin{equation} z_n = \Phi _{\varepsilon _n } \left( {t,\tau-t,\theta _{- t} \omega ,y_n^t } \right). \end{equation} | (101) |
By Lemma 5.4 again there exists
\begin{equation} \mathop {\lim }\limits_{n \to \infty } \left\| {y_n^t - y_*^t } \right\|_{H^1(\mathcal O)} = 0. \end{equation} | (102) |
It follows from Theorem 5.3 that for every
\begin{eqnarray} \mathop {\lim }\limits_{n \to \infty } \Phi _{\varepsilon _n } \left( {t,\tau-t,\theta _{- t} \omega ,y_n^t } \right) = \Phi _0 \left( {t,\tau-t,\theta _{ - t} \omega ,y_ * ^t } \right)\quad \text{in}\quad \mathcal N. \end{eqnarray} | (103) |
By (100), (101), (103) and uniqueness of limits we obtain
\begin{equation} z_ * = \Phi _0 \left( {t,\tau-t,\theta _{ - t} \omega ,y_ * ^t } \right)\quad \text{in}\quad H^1(\mathcal O). \end{equation} | (104) |
Notice that
\begin{equation} \mathop {\lim \sup }\limits_{n \to \infty } \left\| {y_n^t } \right\|_{H^1(\mathcal O)} \le \left\| {K\left( {\tau - t,\theta _{- t} \omega } \right)} \right\|_{H^1(\mathcal O)} \le L\left( {\tau - t,\theta _{ - t} \omega } \right). \end{equation} | (105) |
By (102) and (105) we get, for every
\begin{equation} \left\| {y_ * ^t } \right\|_{H^1(\mathcal Q)} \le L\left( {\tau - t,\theta _{- t} \omega } \right). \end{equation} | (106) |
By
\begin{eqnarray} && \text{dist}_{H^1(\mathcal Q)} \left( {z_ * ,\mathcal A_0 \left( {\tau ,\omega } \right)} \right) \\ & = & \text{dist}_{H^1(\mathcal Q)} \left( {\Phi _0 \left( {t,\tau - t,\theta _{ - t} \omega ,y_ * ^t } \right),\mathcal A_0 \left( {\tau ,\omega } \right)} \right) \\ &\le& \text{dist}_{H^1(\mathcal Q)} \left( {\Phi _0 \left( {t,\tau - t, \theta _{ - t} \omega ,K_0 \left( {\tau - t,\theta _{ - t} \omega } \right)} \right),\mathcal A_0 \left( {\tau ,\omega } \right)} \right)\\ && \to 0,\quad \text{as}\,\,t \to \infty . \end{eqnarray} | (107) |
This implies that
\text{dist}_{H^1(\mathcal O)} \left( {z_n ,\mathcal{A}_0 \left( \tau,\omega \right)} \right) \le \text{dist}_{H^1(\mathcal O)} \left( {z_n ,z_ * } \right) \to 0, |
a contradiction with (99). This completes the proof.
The authors would like to thank the anonymous referee for the useful suggestions and comments.
[1] | J. Bourgain, Some new estimates on oscillatory integrals, Essays on Fourier analysis in Honor of Elias M. Stein (Princeton, NJ, 1991), Princeton Math. Ser., Princeton University Press, New Jersey, 42 (1995), 83–112. |
[2] | J. Bourgain, On the Schrödinger maximal function in higher dimension, Proc. Steklov Inst. Math., 280 (2013), 46–60. https://doi.org/10.1134/S0081543813010045 |
[3] |
J. Bourgain, A note on the Schrödinger maximal function, J. Anal. Math., 130 (2016), 393–396. https://doi.org/10.1007/s11854-016-0042-8 doi: 10.1007/s11854-016-0042-8
![]() |
[4] | J. Boussinesq, Théorie des ondes et des remous qui se propagent le long d'un canal rectangulaire horizontal, en communiquant au liquide contenu dans ce canal des vitesses sensiblement pareilles de la surface au fond, J. Math. Pure. Appl., 17 (1872), 55–108. |
[5] | A. Carbery, Radial Fourier multipliers and associated maximal functions, North-Holland Mathematics Studies, 111 (1985), 49–56. https://doi.org/10.1016/S0304-0208(08)70279-2 |
[6] | L. Carleson, Some analytic problems related to statistical mechanics, In: Euclidean harmonic analysis (Proc. Sem., Univ. Maryland., College Park, Md., 1979, 5–45), Lecture Notes in Math., Springer, Berlin, 779 (1980). |
[7] | C. H. Cho, H. Ko, A note on maximal estimates of generalized Schrödinger equation, arXiv preprint, 2018. |
[8] |
C. H. Cho, H. Ko, Y. Koh, S. Lee, Pointwise convergence of sequential Schrödinger means, J. Inequal. Appl., 2023 (2023), 54. https://doi.org/10.1186/s13660-023-02964-8 doi: 10.1186/s13660-023-02964-8
![]() |
[9] | M. Cowling, Pointwise behavior of solutions to Schrödinger equations, Lect. Notes Math., 992 (1983), 83–90. |
[10] | B. E. J. Dahlberg, C. E. Kenig, A note on the almost everywhere behavior of solutions to the Schrödinger equation, In: Harmonic analysis (Minneapolis, Minn., 1981,205–209), Lecture Notes in Math., Springer, Berlin-New York, 908 (1982). |
[11] | C. Demeter, S. Guo, Schrödinger maximal function estimates via the pseudoconformal transformation, arXiv preprint, 2016. |
[12] |
E. Dimou, A. Seeger, On pointwise convergence of Schrödinger means, Mathematika, 66 (2020), 356–372. https://doi.org/10.1112/mtk.12025 doi: 10.1112/mtk.12025
![]() |
[13] |
Y. Ding, Y. Niu, Weighted maximal estimates along curve associated with dispersive equations, Anal. Appl., 15 (2017), 225–240. https://doi.org/10.1142/S021953051550027X doi: 10.1142/S021953051550027X
![]() |
[14] |
X. Du, L. Guth, X. Li, A sharp Schrödinger maximal eatimate in \mathbb{R}^2, Ann. Math., 186 (2017), 607–640. https://doi.org/10.4007/annals.2017.186.2.5 doi: 10.4007/annals.2017.186.2.5
![]() |
[15] |
X. Du, L. Guth, X. Li, R. Zhang, Pointwise convergence of Schrödinger solutions and multilinear refined Strichartz estimates, Forum Math. Sigma, 6 (2018), 18. https://doi.org/10.1017/fms.2018.11 doi: 10.1017/fms.2018.11
![]() |
[16] |
X. Du, R. Zhang, Sharp L^2 estimate of Schrödinger maximal function in higher dimensions, Ann. Math., 189 (2019), 837–861. https://doi.org/10.4007/annals.2019.189.3.4 doi: 10.4007/annals.2019.189.3.4
![]() |
[17] | J. García-Cuerva, J. L. Rubio De Francia, Weighted norm inequalities and related topics, North-Holland Mathematics Studies, Vol. 116 (Notas de Matemática 104), North-Holland, Amsterdam, 1985. |
[18] | L. Grafakos, Modern Fourier analysis, World Scientific Publishing, New York, 2014. |
[19] | C. Kenig, A. Ruiz, A strong type (2, 2) estimate for a maximal operator associated to the Schrödinger equation, Trans. Am. Math. Soc., 280 (1983), 239–246. |
[20] | S. Lee, On pointwise convergence of the solutions to Schrödinger equations in \mathbb{R}^2, Int. Math. Res. Not., 2006. |
[21] |
S. Lee, K. Rogers, The Schrödinger equation along curves and the quantum harmonic oscillator, Adv. Math., 229 (2012), 1359–1379. https://doi.org/10.1016/j.aim.2011.10.023 doi: 10.1016/j.aim.2011.10.023
![]() |
[22] |
D. Li, J. Li, A Carleson problem for the Boussinesq operator, Acta. Math. Sin.-English Ser., 39 (2023), 119–148. https://doi.org/10.1007/s10114-022-1221-4 doi: 10.1007/s10114-022-1221-4
![]() |
[23] |
D. Li, J. Li, J. Xiao, An upbound of Hausdorff's dimension of the divergence set of the fractional Schrödinger operator on H^s(\mathbb{R}^n), Acta Math. Sci., 41 (2021), 1223–1249. https://doi.org/10.1007/s10473-021-0412-x doi: 10.1007/s10473-021-0412-x
![]() |
[24] |
D. Li, H. Yu, Convergence of a class of Schrödinger equations, Rocky Mt. J. Math., 50 (2020), 639–649. https://doi.org/10.1216/rmj.2020.50.639 doi: 10.1216/rmj.2020.50.639
![]() |
[25] |
W. Li, H. Wang, A study on a class of generalized Schrödinger operators, J. Funct. Anal., 281 (2021), 109203. https://doi.org/10.1016/j.jfa.2021.109203 doi: 10.1016/j.jfa.2021.109203
![]() |
[26] | W. Li, H. Wang, D. Yan, Sharp convergence for sequences of Schrödinger means and related generalizations, Cambridge University Press, 2023. |
[27] |
N. Liu, H. Yu, Hilbert transforms along variable planar curves: Lipschitz regularity, J. Funct. Anal., 282 (2022), 109340. https://doi.org/10.1016/j.jfa.2021.109340 doi: 10.1016/j.jfa.2021.109340
![]() |
[28] | R. Lucà, K. Rogers, An improved necessary condition for the Schrödinger maximal estimate, arXiv preprint, 2015. https://doi.org/10.48550/arXiv.1506.05325 |
[29] |
C. Miao, J. Yang, J. Zheng, An improved maximal inequality for 2D fractional order Schrödinger operators, Stud. Math., 230 (2015), 121–165. https://doi.org/10.4064/sm8190-12-2015 doi: 10.4064/sm8190-12-2015
![]() |
[30] | A. Moyua, A. Vargas, L. Vega, Schrödinger maximal function and restriction properties of the Fourier transform, Int. Math. Res. Notices, 1996,793–815. |
[31] |
P. Sjölin, Regularity of solutions to the Schrödinger equation, Duke Math. J., 55 (1987), 699–715. https://doi.org/10.1215/S0012-7094-87-05535-9 doi: 10.1215/S0012-7094-87-05535-9
![]() |
[32] |
P. Sjölin, Two theorems on convergence of Schrödinger means, J. Fourier Anal. Appl., 25 (2019), 1708–1716. https://doi.org/10.1007/s00041-018-9644-0 doi: 10.1007/s00041-018-9644-0
![]() |
[33] |
P. Sjölin, J. O. Strömberg, Convergence of sequences of Schrödinger means, J. Math. Anal. Appl., 483 (2020), 123580. https://doi.org/10.1016/j.jmaa.2019.123580 doi: 10.1016/j.jmaa.2019.123580
![]() |
[34] | C. D. Sogge, Fourier integrals in classical analysis, 2 Eds., Cambridge University Press, Cambridge, 2017. |
[35] |
E. M. Stein, On limits of sequences of operators, Ann. Math., 74 (1961), 140–170. https://doi.org/10.2307/1970308 doi: 10.2307/1970308
![]() |
[36] | E. M. Stein, Harmonic analysis: Real-variable methods, orthogonality, and oscillatory integrals, Princeton University Press, Princeton, NJ, 1993. |
[37] |
T. Tao, A. Vargas, A bilinear approach to cone multipliers I. Restriction estimate, Geom. Funct. Anal., 10 (2000), 185–215. https://doi.org/10.1007/s000390050006 doi: 10.1007/s000390050006
![]() |
[38] | L. Vega, Schrödinger equations: Pointwise convergence to the initial data, Proc. Am. Math. Soc., 102 (1988), 874–878. |