Our recent mapping of the Dras fault zone in the NW Himalaya has answered one of the most anticipated searches in recent times where strike-slip faulting was expected from the geodetic studies. Therefore, the discovery of the fault is a leap towards the understanding of the causes of active faulting in the region, and how the plate tectonic convergence between India and Eurasia is compensated in the interior portions of the Himalayan collision zone, and what does that imply about the overall convergence budget and the associated earthquake hazards. The present work is an extended version of our previous studies on the mapping of the Dras fault zone, and we show details that were either not available or briefly touched. We have used the 30 m shuttle radar topography to map the tectonic geomorphological features that includes the fault scarps, deflected drainage, triangular facets, ridge crests, faulted Quaternary landforms and so on. The results show that oblique strike-slip faulting is active in the suture zone, which suggests that the active crustal deformation is actively compensated in the interior portions of the orogen, and it is not just restricted to the frontal portions. The Dras fault is a major fault that we have interpreted either as a south dipping oblique backthrust or an oblique north dipping normal fault. The fieldwork was conducted in Leh, but it did not reveal any evidence for active faulting, and the fieldwork in the Dras region was not possible because of the politically sensitive nature of border regions where fieldwork is always an uphill task.
Citation: AA Shah, A Rajasekharan, N Batmanathan, Zainul Farhan, Qibah Reduan, JN Malik. Detailed tectonic geomorphology of the Dras fault zone, NW Himalaya[J]. AIMS Geosciences, 2021, 7(3): 390-414. doi: 10.3934/geosci.2021023
[1] | François Baccelli, Augustin Chaintreau, Danny De Vleeschauwer, David R. McDonald . HTTP turbulence. Networks and Heterogeneous Media, 2006, 1(1): 1-40. doi: 10.3934/nhm.2006.1.1 |
[2] | D. Alderson, H. Chang, M. Roughan, S. Uhlig, W. Willinger . The many facets of internet topology and traffic. Networks and Heterogeneous Media, 2006, 1(4): 569-600. doi: 10.3934/nhm.2006.1.569 |
[3] | Paola Goatin, Chiara Daini, Maria Laura Delle Monache, Antonella Ferrara . Interacting moving bottlenecks in traffic flow. Networks and Heterogeneous Media, 2023, 18(2): 930-945. doi: 10.3934/nhm.2023040 |
[4] | Divya Pandey, Vandana Kushwaha . The use of Analytical Hierarchy Process in sensor-based networks for security-aware congestion control. Networks and Heterogeneous Media, 2023, 18(1): 244-274. doi: 10.3934/nhm.2023009 |
[5] | Olli-Pekka Tossavainen, Daniel B. Work . Markov Chain Monte Carlo based inverse modeling of traffic flows using GPS data. Networks and Heterogeneous Media, 2013, 8(3): 803-824. doi: 10.3934/nhm.2013.8.803 |
[6] | Yuri B. Gaididei, Carlos Gorria, Rainer Berkemer, Peter L. Christiansen, Atsushi Kawamoto, Mads P. Sørensen, Jens Starke . Stochastic control of traffic patterns. Networks and Heterogeneous Media, 2013, 8(1): 261-273. doi: 10.3934/nhm.2013.8.261 |
[7] | Leah Anderson, Thomas Pumir, Dimitrios Triantafyllos, Alexandre M. Bayen . Stability and implementation of a cycle-based max pressure controller for signalized traffic networks. Networks and Heterogeneous Media, 2018, 13(2): 241-260. doi: 10.3934/nhm.2018011 |
[8] | Maya Briani, Rosanna Manzo, Benedetto Piccoli, Luigi Rarità . Estimation of NOx and O3 reduction by dissipating traffic waves. Networks and Heterogeneous Media, 2024, 19(2): 822-841. doi: 10.3934/nhm.2024037 |
[9] | Michael Herty, S. Moutari, M. Rascle . Optimization criteria for modelling intersections of vehicular traffic flow. Networks and Heterogeneous Media, 2006, 1(2): 275-294. doi: 10.3934/nhm.2006.1.275 |
[10] | Cécile Appert-Rolland, Pierre Degond, Sébastien Motsch . Two-way multi-lane traffic model for pedestrians in corridors. Networks and Heterogeneous Media, 2011, 6(3): 351-381. doi: 10.3934/nhm.2011.6.351 |
Our recent mapping of the Dras fault zone in the NW Himalaya has answered one of the most anticipated searches in recent times where strike-slip faulting was expected from the geodetic studies. Therefore, the discovery of the fault is a leap towards the understanding of the causes of active faulting in the region, and how the plate tectonic convergence between India and Eurasia is compensated in the interior portions of the Himalayan collision zone, and what does that imply about the overall convergence budget and the associated earthquake hazards. The present work is an extended version of our previous studies on the mapping of the Dras fault zone, and we show details that were either not available or briefly touched. We have used the 30 m shuttle radar topography to map the tectonic geomorphological features that includes the fault scarps, deflected drainage, triangular facets, ridge crests, faulted Quaternary landforms and so on. The results show that oblique strike-slip faulting is active in the suture zone, which suggests that the active crustal deformation is actively compensated in the interior portions of the orogen, and it is not just restricted to the frontal portions. The Dras fault is a major fault that we have interpreted either as a south dipping oblique backthrust or an oblique north dipping normal fault. The fieldwork was conducted in Leh, but it did not reveal any evidence for active faulting, and the fieldwork in the Dras region was not possible because of the politically sensitive nature of border regions where fieldwork is always an uphill task.
In this article, we investigate the following Kirchhoff-Schrödinger-Poisson type systems on the Heisenberg group:
{−(a+b∫Ω|∇Hu|pdξ)ΔH,pu−μϕ|u|p−2u=λ|u|q−2u+|u|Q∗−2uin Ω,−ΔHϕ=|u|pin Ω,u=ϕ=0on ∂Ω, | (1.1) |
where a,b are positive real numbers, Ω⊂HN is a bounded region with smooth boundary, 1<p<Q, Q=2N+2 is the homogeneous dimension of the Heisenberg group HN, Q∗=pQQ−p, q∈(2p,Q∗), ΔH,pu=div(|∇Hu|p−2∇Hu) is known as the p-horizontal Laplacian, and μ and λ are some positive real parameters.
In recent years, geometrical analysis of the Heisenberg group has found significant applications in quantum mechanics, partial differential equations and other fields, which has attracted the attention of many scholars who tried to establish the existence and multiplicity of solutions of partial differential equations on the Heisenberg group. For instance, in the subcase of problem (1.1), when p=2 and b=μ=0, the existence of solutions for some nonlinear elliptic problems in bounded domains has been established. Tyagi [1] studied a class of singular boundary value problem on the Heisenberg group:
{−ΔHu=μg(ξ)u(|z|4+t2)12+λf(ξ,t),ξ∈Ω,u|∂Ω=0, | (1.2) |
and under appropriate conditions, obtained some existence results using Bonanno's three critical point theorem. Goel and Sreenadh [2] dealt with a class of Choquard type equation on the Heisenberg group, and they established regularity of solutions and nonexistence of solutions invoking the mountain pass theorem, the linking theorem and iteration techniques and boot-strap method.
In the case b≠0 and μ=0, problem (1.1) becomes the Kirchhoff problem, which has also been widely studied. For example, Sun et al. [3] dealt with the following Choquard-Kirchhoff problem with critical growth:
M(‖u‖2)(−ΔHu+u)=∫HN|u(η)|Q∗λ|η−1ξ|λdη|u|Q∗λ−2u+μf(ξ,u), |
where f is a Carathéodory function, M is the Kirchhoff function, ΔH is the Kohn Laplacian on the Heisenberg group HN, μ>0 is a parameter and Q∗λ=2Q−λQ−2 is the critical exponent. In their paper, a new version of the concentration-compactness principle on the Heisenberg group was established for the first time. Moreover, the existence of nontrivial solutions was obtained even under nondegenerate and degenerate conditions. Zhou et al. [4] proved the existence of solutions of Kirchhoff type nonlocal integral-differential operators with homogeneous Dirichlet boundary conditions on the Heisenberg group using the variational method and the mountain pass theorem. Deng and Xian [5] obtained the existence of solutions for Kirchhoff type systems involving the Q-Laplacian operator on the Heisenberg group with the help of the Trudinger-Moser inequality and the mountain pass theorem. For more related results, see [6,7,8,9,10,11,12,13].
When b=0, p=2 and μ≠0, problem (1.1) becomes the Schrödinger-Poisson system. This is a very interesting subject and has recently witnessed very profound results. For example, An and Liu [14] dealt with the following forms of Schrödinger-Poisson type system on the Heisenberg group:
{−ΔHu+μϕu=λ|u|q−2u+|u|2uin Ω,−ΔHϕ=u2in Ω,u=ϕ=0on ∂Ω, |
where μ∈R and λ>0 are some real parameters and 1<q<2. By applying the concentration compactness and the critical point theory, they found at least two positive solutions and a positive ground state solution.
Liang and Pucci [15] studied the following critical Kirchhoff-Poisson system on the Heisenberg group:
{−M(∫Ω|∇Hu|2dξ)ΔHu+ϕ|u|q−2u=h(ξ,u)+λ|u|2uin Ω,−ΔHϕ=|u|qin Ω,u=ϕ=0on ∂Ω, |
where Ω⊂H1 is a smooth bounded domain, ΔH is the Kohn-Laplacian on the first Heisenberg group H1 and 1<q<2. By applying the symmetric mountain pass lemma, they obtained the multiplicity of solutions with λ sufficiently small.
The Kirchhoff-Poisson system on the Heisenberg group with logarithmic and critical nonlinearity was considered by Pucci and Ye [13]:
{−M(∫Ω|∇Hu|2dξ)ΔHu+ϕu=|u|2u+λ|u|q−2uln|u|2in Ω,−ΔHϕ=|u|2in Ω,u=ϕ=0on ∂Ω. |
Under suitable assumptions on the Kirchhoff function M covering the degenerate case, they showed that for a sufficiently large λ>0, there exists a nontrivial solution to the above problem.
When p≠2 and μ≠0, as far as we know, for Kirchhoff-Schrodinger-Poisson systems (1.1) with critical nonlinearities on the Heisenberg group, existence and multiplicity results are not yet available. In the Euclidean case, Du et al. [16] first studied the existence results for the Kirchhoff-Poisson systems with p-Laplacian under the subcritical case using the mountain pass theorem. Later, Du et al. [17] studied quasilinear Schrödinger-Poisson systems. For the critical case, Du et al. [18] also obtained the existence of ground state solutions with the variational approach.
Inspired by the above achievements, we aim to establish some results on the existence and multiplicity of nontrivial solutions of the Kirchhoff-Schrödinger-Poisson systems (1.1). The major difficulties in dealing with problem (1.1) are the presence of a nonlocal term and critical nonlinearities making the study of this problem very challenging.
Before presenting the main results of this article, we first present some concepts of the Heisenberg group. The Heisenberg group is represented by HN. If ξ=(x,y,t)∈HN, then the definition of this group operation is
τξ(ξ′)=ξ∘ξ′=(x+x′,y+y′,t+t′+2(x′y−y′x)), for every ξ,ξ′∈HN, |
ξ−1=−ξ is the inverse, and therefore (ξ′)−1∘ξ−1=(ξ∘ξ′)−1.
The definition of a natural group of dilations on HN is δs(ξ)=(sx,sy,s2t), for every s>0. Hence, δs(ξ0∘ξ)=δs(ξ0)∘δs(ξ). It can be easily proved that the Jacobian determinant of dilatations δs:HN→HN is constant and equal to sQ, for every ξ=(x,y,t)∈HN. The critical exponent is Q∗:=pQQ−p, where the natural number Q=2N+2 is called the homogeneous dimension of HN. We define the Korányi norm as follows
|ξ|H=[(x2+y2)2+t2]14, for every ξ∈HN, |
and we derive this norm from the Heisenberg group's anisotropic dilation. Hence, the homogeneous degree of the Korányi norm is equal to 1, in terms of dilations
δs:(x,y,t)↦(sx,sy,s2t), for every s>0. |
The set
BH(ξ0,r)={ξ∈HN:dH(ξ0,ξ)<r}, |
denotes the Korányi open ball of radius r centered at ξ0. For the sake of simplicity, we shall denote Br=Br(O), where O=(0,0) is the natural origin of HN.
The following vector fields
T=∂∂t, Xj=∂∂xj+2yj∂∂t, Yj=∂∂yj−2xj∂∂t, |
generate the real Lie algebra of left invariant vector fields for j=1,⋯,n, which forms a basis satisfying the Heisenberg regular commutation relation on HN. This means that
[Xj,Yj]=−4δjkT, [Yj,Yk]=[Xj,Xk]=[Yj,T]=[Xj,T]=0. |
The so-called horizontal vector field is just a vector field with the span of [Xj,Yj]nj=1.
The Heisenberg gradient on HN is
∇H=(X1,X2,⋯,Xn,Y1,Y2,⋯,Yn), |
and the Kohn Laplacian on HN is given by
ΔH=N∑j=1X2j+Y2j=N∑j=1[∂2∂x2j+∂2∂y2j+4yj∂2∂xj∂t−4xj∂2∂xj∂t+4(x2j+y2j)∂2∂t2]. |
The Haar measure is invariant under the left translations of the Heisenberg group and is Q-homogeneous in terms of dilations. More precisely, it is consistent with the (2n+1)-dimensional Lebesgue measure. Hence, as shown Leonardi and Masnou [19], the topological dimension 2N+1 of HN is strictly less than its Hausdorff dimension Q=2N+2. Next, |Ω| denotes the (2N + 1)-dimensional Lebesgue measure of any measurable set Ω⊆HN. Hence,
|δs(Ω)|=sQ|Ω|, d(δsξ)=sQdξ and |BH(ξ0,r)|=αQrQ, where αQ=|BH(0,1)|. |
Now, we can state the main result of the paper.
Theorem 1.1. Let q∈(2p,Q∗). Then there exist positive constants μ1 and λ1 such that for every μ∈(0,μ1) and λ∈(λ1,+∞), the following assertions hold:
(I) Problem (1.1) has a nontrivial weak solution;
(II) Problem (1.1) has infinitely many nontrivial weak solutions if parameter a is large enough.
We can give the following example for problem (1.1) with p=3 and Ω⊂H1:
{−(a+∫Ω|∇Hu|2dξ)ΔHu+μϕu=λ|u|6u+|u|10uin Ω,−ΔHϕ=|u|3in Ω,u=ϕ=0on ∂Ω. |
In this case, N=1, p=3 and q=8, then Q=2N+2=4, Q∗=12. If positive parameters μ small enough and λ large enough, by Theorem 1.1, we know that problem (1.1) has a nontrivial weak solution. Moreover, if in addition the parameter a is large enough, problem (1.1) has infinitely many nontrivial weak solutions. It should be noted that the methods in An and Liu [14] and Liang and Pucci [15] do not seem to apply to problem (1.1).
Remark 1.1. Compared with previous results, this paper has the following key new features:
1) The presence of the nonlocal term ϕ|u|p−2u;
2) The lack of compactness caused by critical index;
3) The presence of the p-Laplacian makes this problem more complex and interesting.
It is worth stressing that the nonlocal term and the critical exponent lead to the lack of compactness condition, and we use the concentration-compactness principle to overcome this difficulty. Moreover, we shall use some more refined estimates to overcome the presence of the p-Laplacian.
We need to emphasize here that despite the similarity of some properties between the classical Laplacian Δ and Kohn Laplacian ΔH, similarities can be misleading (see Garofalo and Lanconelli [20]), so there are still many properties that deserve further study. Moreover, for the case p≠2, it is difficult to prove the boundedness of Palais-Smale sequences. In order to overcome these difficulties, we use some more accurate estimates of relevant expression. Additionally, we use the concentration-compactness principle on the Heisenberg group to prove the compactness condition.
The paper is organized as follows. In Section 2, we introduce some notations and known facts. Moreover, we introduce some key estimates. In addition, we define the corresponding energy functional Iλ and its derivative at u, that is, I′λ(u). In Section 3, we prove Theorem 1.1.
First of all, we collected some known facts, useful in the sequel. For additional background material, readers are advised to refer to Papageorgiou et al. [21].
Let
‖u‖ss=∫Ω|u|sdξ, for every u∈Ls(Ω), |
represent the usual Ls-norm.
Following Folland and Stein [22], we define the space ˚S21(Ω) as the closure of C∞0(Ω) in S21(HN). Then ˚S21(Ω) is a Hilbert space with the norm
‖u‖2˚S21(Ω)=∫Ω|∇Hu|2dξ. |
We define the Folland-Stein space S1,p(Ω) as the closure of C∞0(Ω) with the norm
‖u‖=(∫Ω|∇Hu|pdξ)1p. |
Then the embedding
S1,p(Ω)↪Ls(Ω), for every s∈(1,Q∗), |
is compact. However, if s=Q∗, the embedding is only continuous (see Vassiliev [23]).
Additionally, we say that (u,ϕ)∈S1,p(Ω)×S1,p(Ω) is a solution of problem (1.1) if and only if
a∫Ω|∇Hu|p−2∇Hu∇Hvdξ+b‖u‖p∫Ω|∇Hu|p−2∇Hu∇Hvdξ −μ∫Ωϕ|u|p−2uvdξ−λ∫Ω|u|q−2uvdξ−∫Ω|u|Q∗−2uvdξ=0 |
and
∫Ω∇Hϕ∇Hωdξ−∫Ω|u|pωdξ=0, |
for every v,ω∈S1,p(Ω)×S1,p(Ω). Moreover, (u,ϕ)∈S1,p(Ω)×S1,p(Ω) is a positive solution of problem (1.1) if u and ϕ are both positive. Therefore, in order to apply the critical point theory, we need to define the functional J(u,ϕ):S1,p(Ω)×S1,p(Ω)→R as follows
J(u,ϕ)=ap‖u‖p+b2p‖u‖2p+μ2p∫Ω|∇Hϕ|2dξ−μp∫Ωϕ|u|pdξ−λq∫Ω|u|qdξ−1Q∗∫Ω|u|Q∗dξ, |
for every (u,ϕ)∈S1,p(Ω)×S1,p(Ω). Then J is C1 on S1,p(Ω)×S1,p(Ω) and its critical points are the solutions of problem (1.1). Indeed, the partial derivatives of J at (u,ϕ) are denoted by J′u(u,ϕ), J′ϕ(u,ϕ), namely for every v,ω∈S1,p(Ω)×S1,p(Ω),
J′u(u,ϕ)[v]=a∫Ω|∇Hu|p−2∇Hu∇Hvdξ+b‖u‖p∫Ω|∇Hu|p−2∇Hu∇Hvdξ −μ∫Ωϕ|u|p−2uvdξ−λ∫Ω|u|q−2uvdξ−∫Ω|u|Q∗−2uvdξ=0 |
and
J′ϕ(u,ϕ)=μp∫Ω∇Hϕ∇Hωdξ−μp∫Ω|u|pωdξ. |
Standard computations show that J′u (respectively J′ϕ) continuously maps S1,p(Ω)×S1,p(Ω) into the dual of S1,p(Ω). Moreover, the functional J is C1 on S1,p(Ω)×S1,p(Ω) and
J′u(u,ϕ)=J′ϕ(u,ϕ)=0 |
if and only if (u,ϕ) is a solution of problem (1.1).
Lemma 2.1. Let u∈S1,p(Ω). Then there is a unique nonnegative function ϕu∈˚S21(Ω) such that
{−ΔHϕ=|u|pin Ω,ϕ=0on ∂Ω. | (2.1) |
Furthermore, ϕu≥0 and ϕu>0 if u≠0. Also,
(i) ϕtu=tpϕu, for every t>0;
(ii) ‖ϕu‖˚S21(Ω)≤ˆC‖u‖p, where ˆC>0;
(iii) Let un⇀u in S1,p(Ω). Then, ϕun⇀ϕu in ˚S21(Ω), and
∫Ωϕun|un|p−2unvdξ→∫Ωϕu|u|p−2uvdξ, forevery v∈S1,p(Ω). | (2.2) |
Proof. For any u∈˚S21(Ω), we define W:˚S21(Ω)→R,
W(v)=∫Ωv|u|pdξ, for every v∈˚S21(Ω). |
Let vn→v∈˚S21(Ω), as n→∞. It follows by the Hölder inequality that
|W(vn)−W(v)|≤∫Ω(vn−v)|u|pdξ≤(∫Ω|vn−v|Q∗dξ)1Q∗(∫Ω|u|pQ∗Q∗−1dξ)Q∗−1Q∗≤S−1p‖vn−v‖|u|ppQ∗Q∗−1→0, as n→∞, |
where
S=infu∈S1,p(Ω)∖{0}∫Ω|∇Hu|pdξ(∫Ω|u|Q∗dξ)pQ∗ | (2.3) |
is the best Sobolev constant. This implies that W is a continuous linear functional. Using the Lax-Milgram theorem, we see that there is a unique ϕu∈˚S21(Ω) satisfying
∫Ω∇Hϕu∇Hvdξ=∫Ωv|u|pdξ, for every v∈S1,p(Ω). | (2.4) |
Thus, ϕu∈˚S21(Ω) is the unique solution of problem (2.1). Moreover, applying the maximum principle, one has ϕu≥0 and ϕu>0 if u≠0. Indeed, for every t>0, one has
−ΔHϕtu=tpup=tp(−ΔHϕu)=−ΔH(tpϕu). |
Hence ϕtu=tpϕu due to the uniqueness of ϕu.
Furthermore, since ϕu∈S1,p(Ω), we can view it as a text function in problem (2.1). Then by (2.4), the Sobolev inequality and the Hölder inequality, we have (henceforth C0, C1, C2 will denote positive constants)
∫Ω|∇Hϕu|2dξ=∫Ωϕu|u|pdξ≤|ϕu|L2(Ω)|u|pL2p(Ω)≤C1‖ϕu‖˚S21(Ω)‖u‖p. |
Therefore, we get ‖ϕu‖˚S21(Ω)≤C1‖u‖p.
Since un⇀u in S1,p(Ω), we can conclude that un→u a.e. in Ω and {|un|p} is bounded in L2(Ω). Moreover, we have |un|p⇀|u|p in L2(Ω). Then for every v∈˚S21(Ω), it follows that
∫Ωv|un|pdξ→∫Ωv|u|pdξ, as n→∞. |
Therefore, ϕun⇀ϕu in ˚S21(Ω). By the Hölder inequality, the Sobolev inequality and (ⅱ), one has
∫Ω|ϕun|un|p−2un|2p2p−1dξ≤|ϕun|2p2p−1L2(Ω)(∫Ω|un|2pdξ)p−12p−1≤C0‖ϕun‖2p2p−1˚S21(Ω)(∫Ω|un|2pdξ)p−12p−1≤C2‖ϕun‖2p22p−1(∫Ω|un|2pdξ)p−12p−1. |
Hence, {ϕun|un|p−2un} is bounded in L2p2p−1(Ω). Since
ϕun|un|p−2un→ϕu|u|p−2u, a.e. in Ω, |
we get
∫Ωϕun|un|p−2unvdξ→∫Ωϕu|u|p−2uvdξ, for every v∈S1,p(Ω). |
The proof of Lemma 2.1 is complete.
By similar arguments as in An and Liu [14], we can get the following result.
Lemma 2.2. Let Ψ(u)=ϕu for every u∈S1,p(Ω), where ϕu is as in Lemma 2.1, and let
Υ={(u,ϕ)∈S1,p(Ω)×S1,p(Ω):J′ϕ(u,ϕ)=0}. |
Then Ψ is C1 and Υ is the graph of Ψ.
We define the corresponding energy functional Iλ(u)=J(u,ϕu) of problem (1.1) by
Iλ(u)=ap‖u‖p+b2p‖u‖2p−μ2p∫Ωϕu|u|pdξ−λq∫Ω|u|qdξ−1Q∗∫Ω|u|Q∗dξ, for every u∈S1,p(Ω). | (2.5) |
Based on the definition of J and Lemma 2.2, we can conclude that Iλ is of C1.
Lemma 2.3. (see An and Liu [14]) Let (u,ϕ)∈S1,p(Ω)×S1,p(Ω). Then (u,ϕ) is a critical point of J if and only if u is a critical point of Iλ and ϕ=Ψ(u), where Ψ was defined in Lemma 2.2.
According to Lemma 2.3, we know that a solution (u,ϕu) of problem (1.1) corresponds to a critical point u of the functional Iλ with ϕ=Ψ(u) and
⟨I′λ(u),v⟩=a∫Ω|∇Hu|p−2∇Hu∇Hvdξ+b‖u‖p∫Ω|∇Hu|p−2∇Hu∇Hvdξ −μ∫Ωϕu|u|p−2uvdξ−λ∫Ω|u|q−2uvdξ−∫Ω|u|Q∗−2uvdξ, for every v∈S1,p(Ω). | (2.6) |
Therefore, based on the above arguments, we shall strive to use critical point theory and some analytical techniques to prove the existence of critical points of functional Iλ.
In this subsection, our main focus will be on proving that the functional Iλ satisfies the Palais-Smale condition.
Lemma 2.4. Let q∈(2p,Q∗). Then there exists μ1>0 such that for any μ<μ1, the energy functional Iλ satisfies (PS)c condition, where
c∈(0, (1q−1Q∗)(aS)Qp) | (2.7) |
and S is the best Sobolev constant given by (2.3).
Proof. Let us assume that {un}n⊂S1,p(Ω) is a (PS)c sequence related to the functional Iλ, that is,
Iλ(un)→c and I′λ(un)→0,as n→∞. | (2.8) |
It follows that
c+o(1)‖un‖=Iλ(un)−1qI′λ(un)un≥a(1p−1q)‖un‖p+b(12p−1q)‖un‖2p−μ(12p−1q)∫Ωϕun|un|pdξ+(1q−1Q∗)∫Ω|un|Q∗dξ≥a(1p−1q)‖un‖p+(b−μˆC)(12p−1q)‖un‖2p, | (2.9) |
where ˆC is a positive constant given by Lemma 2.1(ⅱ). Let μ1=bˆC. By (2.9), we know that (PS)c sequence {un}n⊂S1,p(Ω) is bounded for every μ<μ1. Thus, we may assume that un⇀u weakly in S1,p(Ω), and un→u in Ls(Ω) with 1<s<Q∗. Furthermore, since Iλ(un)=Iλ(|un|), we may also assume that un≥0 and u≥0. Therefore, invoking the concentration compactness principle on the Heisenberg group (see Vassiliev [23, Lemma 3.5]), we obtain
|∇Hun|pdξ⇀dω≥|∇Hu|pdξ+Σj∈Λωjδxj,|un|Q∗dξ⇀dν=|u|Q∗dξ+Σj∈Λνjδxj, | (2.10) |
where {xj}j∈Λ⊂Ω is the most a countable set of distinct points, ω and ν in HN are two positive Radon measures, and {ωj}j∈Λ, {νj}j∈Λ are nonnegative numbers. Moreover, we have
ωj≥SνpQ∗j. | (2.11) |
Next, we shall show that Λ=∅. Indeed, assume that the hypothesis ωj≠0 holds for some j∈Λ. Then when ε>0 is sufficiently small, we can find 0≤ψε,j≤1 satisfying the following
{ψε,j=1in BH(ξj,ε2),ψε,j=0in Ω∖BH(ξj,ε),|∇Hψε,j|≤2ε, | (2.12) |
where ψε,j∈C∞0(BH(ξj,ε)) is a cut-off function. Clearly, (unψε,j)n is bounded in S1,p(Ω). It follows from (2.8) and the boundedness of (unψε,j)n that
⟨I′λ(un),unψε,j⟩→0, as n→∞, |
that is,
a(∫Ω|∇Hun|pψε,j+∫Ωun|∇Hun|p−2∇Hun∇Hψε,jdξ)+b‖un‖p(∫Ω|∇Hun|pψε,j+∫Ωun|∇Hun|p−2∇Hun∇Hψε,jdξ)−μ∫Ωϕun|un|pψε,jdξ=λ∫Ωuqnψε,jdξ+∫ΩuQ∗nψε,jdξ+o(1). | (2.13) |
It follows from the dominated convergence theorem that
∫BH(ξj,ε)|un|qψε,jdξ→∫BH(ξj,ε)|u|qψε,jdξ, as n→∞. |
Hence, letting ε→0, we get
limε→0limn→∞∫BH(ξj,ε)|un|qψε,jdξ=0. | (2.14) |
By Lemma 2.1,
limn→∞∫Ωϕun|un|p−2unudξ=∫Ωϕu|u|pdξ, | (2.15) |
and since un→u in Ls(Ω) with 1<s<Q∗, one has
∫Ω(ϕun|un|p−ϕun|un|p−1u)dξ≤∫Ω|ϕun||un|p−1|un−u|dξ≤(∫Ω|ϕun|un|p−1|pp−1dξ)p−1p|un−u|p→0. | (2.16) |
Combining (2.15) with (2.16), we obtain that
limn→∞∫Ωϕun|un|pdξ=∫Ωϕu|u|pdξ, |
thus
limε→0limn→∞∫BH(ξj,ε)ϕun|un|pψε,jdξ=limε→0∫BH(ξj,ε)ϕu|u|pψε,jdξ=0. | (2.17) |
Since
∫BH(ξj,ε)dξ=∫BH(0,ε)dξ=|BH(0,1)|εQ, |
applying the Hölder inequality, we obtain
limε→0limn→∞∫Ωun|∇Hun|p−1∇Hψε,jdξ≤limε→0limn→∞(∫BH(ξj,ε)|∇Hun|pdξ)p−1p(∫BH(ξj,ε)|un∇Hψε,j|pdξ)1p≤Climε→0(∫BH(ξj,ε)|un|p|∇Hψε,j|pdξ)1p≤Climε→0(∫BH(ξj,ε)|un|Q∗dξ)1Q∗(∫BH(ξj,ε)|∇Hψε,j|Qdξ)1Q=0. |
By (2.10), we have
limε→0limn→∞∫Ω|∇Hun|pψε,jdξ≥limε→0(ωj+∫BH(ξj,ε)|∇Hu|pψε,jdξ)=ωj | (2.18) |
and
limε→0limn→∞∫ΩuQ∗nψε,jdξ=limε→0(νj+∫BH(ξj,ε)uQ∗nψε,jdξ)=νj. | (2.19) |
Therefore, by (2.13)–(2.19), one gets νj≥aωj. It follows from (2.11) that
νj=0orνj≥(aS)Qp. |
In fact, if νj≥(aS)Qp holds, therefore by (2.8) and (2.10), for every μ<μ1, we have
c=limn→∞{Iλ(un)−1qI′λ(un)un}≥limn→∞(1q−1Q∗)∫Ω|un|Q∗dξ≥(1q−1Q∗)νj≥(1q−1Q∗)(aS)Qp, | (2.20) |
which contradicts (2.7). Thus, Λ=∅. By (2.10) and Λ=∅, we have
∫Ω|un|Q∗dξ→∫Ω|u|Q∗dξ. | (2.21) |
Let
limn→∞‖un‖p=A. |
If A=0, then un→0 in S1,p(Ω). So assume now that A>0. By (2.8), we get
a∫Ω|∇Hun|p−2∇Hun∇Hvdξ+bA∫Ω|∇Hun|p−2∇Hun∇Hvdξ −μ∫Ωϕun|un|p−2unvdξ−λ∫Ω|un|q−2unvdξ−∫Ω|un|Q∗−2unvdξ=o(1). | (2.22) |
Let v=u in (2.22). Then
a‖u‖p+bA‖u‖p−μ∫Ωϕu|u|pdξ−λ∫Ω|u|qdξ−∫Ω|u|Q∗dξ=0. | (2.23) |
By (2.8), (2.10), (2.21) and Lemma 2.1, one also has
limn→∞a‖un‖p+bA‖un‖p−μ∫Ωϕu|u|pdξ−λ∫Ω|u|qdξ−∫Ω|u|Q∗dξ=0. | (2.24) |
Thus, combining (2.23) and (2.24), we get limn→∞‖un‖p=‖u‖p. Thus, we see that un→u in S1,p(Ω) by the uniform convexity of S1,p(Ω). This completes the proof of Lemma 2.4.
We need the following auxiliary lemmas to prove our main result.
Lemma 3.1. Let q∈(2p,Q∗) and μ∈(0,μ1). Then functional Iλ satisfies the mountain pass geometry, that is,
(i) There exist constants ρ,α>0 satisfying Iλ(u)|∂Bρ≥α, for every u∈S1,p(Ω);
(ii) There exists e∈S1,p(Ω)∖¯Bρ satisfying Iλ(e)<0.
Proof. First, applying the Hölder inequality, we get
Iλ(u)=ap‖u‖p+b2p‖u‖2p−μ2p∫Ωϕu|u|pdξ−λq∫Ω|u|qdξ−1Q∗∫Ω|u|Q∗dξ≥ap‖u‖p+b−μˆC2p‖u‖2p−λq∫Ω|u|qdξ−1Q∗∫Ω|u|Q∗dξ≥ap‖u‖p−λqS−qp|Ω|Q∗−qQ∗‖u‖q−1Q∗S−Q∗p‖u‖Q∗=‖u‖p{ap−λqS−qp|Ω|Q∗−qQ∗‖u‖q−p−1Q∗S−Q∗p‖u‖Q∗−p}. | (3.1) |
Let
f(t)=ap−λqS−qp|Ω|Q∗−qQ∗tq−p−1Q∗S−Q∗ptQ∗−p, for every t≥0. |
We now show that there exists a constant ρ>0 satisfying f(ρ)≥ap. We see that f is a continuous function on [0,+∞) and limt→0+f(t)=ap. Hence there exists ρ such that f(t)≥ap−ε1, for every 0≤t≤ρ, where ρ is small enough such that ‖u‖=ρ. If we choose ε1=a2p, we have f(t)≥a2p, for every 0≤t≤ρ. In particular, f(ρ)≥a2p and we obtain Iλ(u)≥a2pρp=α for ‖u‖=ρ. Hence assertion (i) of Lemma 3.1 holds.
Next, we shall show that assertion (ⅱ) of Lemma 3.1 also holds:
Iλ(su)=aspp‖u‖p+bs2p2p‖u‖2p−μs2p2p∫Ωϕu|u|pdξ−λsqq∫Ω|u|qdξ−sQ∗Q∗∫Ω|u|Q∗dξ≤aspp‖u‖p+bs2p2p‖u‖2p−sQ∗Q∗∫Ω|u|Q∗dξ→−∞ as s→+∞. | (3.2) |
Thus, we can deduce that Iλ(s0u)<0 and s0‖u‖>ρ, for every s0 large enough. Let e=s0u. Then e is the desired function and the proof of (ⅱ) of Lemma 3.1 is complete.
Proof of Theorem 1.1(I). We claim that
0<cλ=infh∈Γmax0≤s≤1Iλ(h(s))<(1q−1Q∗)(aS)Qp, | (3.3) |
where
Γ={h∈C([0,1],S1,p(Ω)):h(0)=1,h(1)=e}. |
Indeed, we can choose v1∈S1,p(Ω)∖{0} with ‖v1‖=1. From (3.2), we have lims→+∞Iλ(sv1)=−∞. Then
sups≥0Iλ(sv1)=Iλ(sλv1), for some sλ>0. |
So sλ satisfies
aspλ‖v1‖p+bs2pλ‖v1‖2p=μs2pλ∫Ωϕv1|v1|pdξ+λsqλ∫Ω|v1|qdξ+sQ∗λ∫Ω|v1|Q∗dξ. | (3.4) |
Next, we shall prove that {sλ}μ>0 is bounded. In fact, suppose that the following hypothesis sλ≥1 is satisfied for every λ>0. Then it follows from (3.4) that
(a+b)s2pλ≥aspλ‖v1‖p+bs2pλ‖v1‖2p=μs2pλ∫Ωϕv1|v1|pdξ+λsqλ∫Ω|v1|qdξ+sQ∗λ∫Ω|v1|Q∗dξ≥sQ∗λ∫Ω|v1|Q∗dξ. | (3.5) |
Since 2p<q<Q∗, we can deduce that {sλ}λ>0 is bounded.
Next, we shall demonstrate that sλ→0, as λ→∞. Suppose to the contrary, that there exist sλ>0 and a sequence (λn)n with λn→∞, as n→∞, satisfying sλn→sλ, as n→∞. Invoking the Lebesgue dominated convergence theorem, we see that
∫Ω|sλnv1|qdξ→∫Ω|sλv1|qdξ, as n→∞. |
It now follows that
λn∫Ω|sλv1|qdξ→∞, as n→∞. |
Thus, invoking (3.4), we can show that this cannot happen. Therefore, sλ→0, as λ→∞.
Furthermore, (3.4) implies that
limλ→∞λ∫Ω|sλv1|qdξ=0 |
and
limλ→∞∫Ω|sλv1|Q∗dξ=0. |
Hence based on the definition of Iλ and sλ→0, as λ→∞, we get that
limλ→∞(sups≥0Iλ(sv1))=limλ→∞Iλ(sλv1)=0. |
So, there is λ1>0, satisfying for every λ>λ1,
sups≥0Iλ(sv1)<(1q−1Q∗)(aS)Qp. |
Letting e=t1v1 with t1 large enough for Iλ(e)<0, we get
0<cλ≤max0≤s≤1Iλ(h(s)), where h(s)=st1v1. |
Therefore
0<cλ≤sups≥0Iλ(sv1)<(1q−1Q∗)(aS)Qp, |
for λ large enough. This completes the proof of Theorem 1.1(Ⅰ).
In this subsection, we shall use the Krasnoselskii genus theory to prove Theorem 1.1(Ⅱ). To this end, let E be a Banach space and denote by Λ the class of all closed subsets A⊂E∖{0} that are symmetric with respect to the origin, that is, u∈E implies −u∈E. Moreover, suppose that X is k-dimensional and X=span{z1,⋯,zk}. For every n≥k, inductively select zn+1∉Xn=span{z1,⋯,zn}. Let Rn=R(Zn) and Υn=BRn⋂Zn. Define
Wn={φ∈C(Υn,E):φ|∂BRn⋂Zn=id and φ is odd} |
and
Γi={φ(¯Υn∖V):φ∈Wn,n≥i,V∈Λ,Λ is closed,γ(V)≤n−i}, |
where γ(V) is the Krasnoselskii genus of V.
Theorem 3.1. (see Rabinowitz [24, Theorem 9.12]) Let I∈C1(E,R) be even with I(0)=0 and let E be an infinite-dimensional Banach space. Assume that X is a finite-dimensional space, E=X⊕Y and that I satisfies the following properties:
(i) There exists θ>0 such that I satisfies (PS)c condition, for every c∈(0,θ);
(ii) There exist ρ,α>0 satifying I(u)≥α, for every u∈∂Bρ⋂Y;
(iii) For every finite-dimensional subspace ˜E⊂E, there exists R=R(˜E)>ρ such that I(u)≤0 on ˜E∖BR.
For every i∈N, let ci=infX∈Γimaxu∈ZI(u), hence, 0≤ci≤ci+1 and ci<θ, for every i>k. Then every ci is a critical value of I. Moreover, if ci=ci+1=⋯=ci+p=c<θ for i>k, then γ(Kc)≥p+1, where
Kc={u∈E:I(u)=c and I′(u)=0}. |
Lemma 3.2. There is a nondecreasing sequence {sn} of positive real numbers, independent of λ, such that for every λ>0, we have
cλn=infW∈Γnmaxu∈WIλ(u)<sn, |
where Γn was defined in Theorem 3.1.
Proof. By the definition of Γn, one has
cλn≤infW∈Γnmaxu∈W{ap‖un‖p+b2p‖un‖2p−μ2p∫Ωϕunupndξ−1Q∗∫Ω|un|Q∗dξ}=sn, |
therefore sn<∞ and sn≤sn+1.
Proof of Theorem 1.1(II). We note that Iλ satisfies Iλ(0)=0 and Iλ(−u)=Iλ(u). In the sequel, we shall divide the proof into the following three steps:
Step 1. We shall prove that Iλ satisfies hypothesis (ⅱ) of Theorem 3.1. Indeed, similar to the proof of (ⅰ) in Lemma 3.1, we can easily prove that the energy functional Iλ satisfies the hypothesis (ii) of Theorem 3.1.
Step 2. We shall prove that Iλ satisfies hypothesis (ⅲ) of Theorem 3.1. Indeed, let Y be a finite-dimensional subspace of S1,p(Ω). Since all norms in finite-dimensional space are equivalent, it follows that for every u∈Y, we have
Iλ(u)≤ap‖u‖p+b2p‖u‖2p−1Q∗∫Ω|u|Q∗dξ≤ap‖u‖p+b2p‖u‖2p−1Q∗C‖u‖Q∗, | (3.6) |
for some positive constant C>0. Also, because of 2p<Q∗, we can choose a large R>0 such that Iλ(u)≤0 on S1,p(Ω)∖BR. This fact implies that the energy functional Iλ satisfies the hypothesis (iii) of Theorem 3.1.
Step 3. We shall prove that problem (1.1) has infinitely many nontrivial weak solutions. Indeed, applying the argument in Wei and Wu [25], we can choose a1 large enough so that for every a>a1,
supsn<(1q−1Q∗)(aS)Qp, |
that is,
cλn<sn<(1q−1Q∗)(aS)Qp. |
Thus, one has
0<cλ1≤cλ2≤⋯≤cλn<sn<(1q−1Q∗)(aS)Qp. |
From Lemma 2.4, we know that Iλ satisfies (PS)cλi(i=1,2,⋯,n) condition. This fact implies that the levels cλ1≤cλ2≤⋯≤cλn are critical values of Iλ, which be guaranteed by an application of the Rabinowitz result [24, Proposition 9.30].
If cλi=cλi+1 where i=1,2,⋯,k−1, then applying the Ambrosetti and Rabinowitz result [26, Remark 2.12 and Theorem 4.2], we see that the set Kcλi consists of infinite number of different points, so problem (1.1) has infinite number of weak solutions. Hence, problem (1.1) has at least k pairs of solutions. Since k is arbitrary, we can conclude that problem (1.1) has infinitely many solutions. This completes the proof of Theorem 1.1(Ⅱ).
The authors declare they have not used Artificial Intelligence (AI) tools in the creation of this article.
Song was supported by the National Natural Science Foundation of China (No. 12001061), the Science and Technology Development Plan Project of Jilin Province, China (No. 20230101287JC) and Innovation and Entrepreneurship Talent Funding Project of Jilin Province (No. 2023QN21). Repovš was supported by the Slovenian Research Agency program No. P1-0292 and grants Nos. J1-4031, J1-4001, N1-0278, N1-0114 and N1-0083.
The authors declare there is no conflict of interest.
[1] | Shah AA, Addly AABM, Samat MIBA (2018) Geomorphic Mapping Reveals NW-SE Extension in NW Himalaya. Arab J Geosci 385-389. |
[2] |
Baker DM, Robert J, Robert S, et al. (1988) Development of the Himalayan frontal thrust zone: Salt Range, Pakistan. Geology 16: 3-7. doi: 10.1130/0091-7613(1988)016<0003:DOTHFT>2.3.CO;2
![]() |
[3] | Yeats RS, Nakata T, Farah A, et al. (1992) The Himalayan frontal fault system. Ann Tecton 6: 85-98. |
[4] |
Wesnousky SG, Kumar S, Mohindra R, et al. (1999) Uplift and convergence along the Himalayan Frontal Thrust of India. Tectonics 18: 967-976. doi: 10.1029/1999TC900026
![]() |
[5] |
Malik JN, Sahoo AK, Shah AA (2010) Paleoseismic evidence from trench investigation along Hajipur fault, Himalayan Frontal Thrust, NW Himalaya: implications of the faulting pattern on landscape evolution and seismic hazard. J Struct Geol 32: 350-361. doi: 10.1016/j.jsg.2010.01.005
![]() |
[6] |
Wesnousky SG, Kumahara Y, Chamlagain D, et al. (2017) Geological observations on large earthquakes along the Himalayan frontal fault near Kathmandu, Nepal. Earth Planet Sci Lett 457: 366-375. doi: 10.1016/j.epsl.2016.10.006
![]() |
[7] |
Coudurier-Curveur A, Tapponnier P, Okal E, et al. (2020) A composite rupture model for the great 1950 Assam earthquake across the cusp of the East Himalayan Syntaxis. Earth Planet Sci Lett 531: 115928. doi: 10.1016/j.epsl.2019.115928
![]() |
[8] |
Cloos M (1993) Lithospheric buoyancy and collisional orogenesis: Subduction of oceanic plateaus, continental margins, island arcs, spreading ridges, and seamounts. Geol Soc Am Bull 105: 715-737. doi: 10.1130/0016-7606(1993)105<0715:LBACOS>2.3.CO;2
![]() |
[9] |
Tapponnier P, Molnar P (1977) Active faulting and tectonics in China. J Geophys Res 82: 2905-2930. doi: 10.1029/JB082i020p02905
![]() |
[10] | Keller EA (1986) Investigation of active tectonics: use of surficial earth processes. Tectonics 1: 136-147. |
[11] | Malik JN, Nakata T (2003) Active faults and related late Quaternary deformation along the northwestern Himalayan frontal zone, India. Ann Geophys 46: 917-936. |
[12] |
Shah AA (2013) Earthquake geology of Kashmir Basin and its implications for future large earthquakes. Int J Earth Sci 102: 1957-1966. doi: 10.1007/s00531-013-0874-8
![]() |
[13] | Shah AA, Sahari S, Navakanesh B, et al. (2021) Tectonic geomorphology of the Jhelum fault zone and its contiguous regions in western Himalaya. Bull Geol Soc Mal 73. |
[14] |
Zhao LS, Xie J (1993) Lateral variations in compressional velocities beneath the Tibetan Plateau from Pn travel time tomography. Geophys J Int 115: 1070-1084. doi: 10.1111/j.1365-246X.1993.tb01510.x
![]() |
[15] |
Yin A (2000) Mode of Cenozoic east‐west extension in Tibet suggesting a common origin of rifts in Asia during the Indo‐Asian collision. J Geophys Res 105: 21745-21759. doi: 10.1029/2000JB900168
![]() |
[16] |
Stevens VL, Avouac JP (2015) Interseismic coupling on the main Himalayan thrust. Geophys Res Lett 42: 5828-5837. doi: 10.1002/2015GL064845
![]() |
[17] |
Shah AA (2015) Kashmir basin fault and its tectonic significance in NW Himalaya, Jammu and Kashmir, India. Int J Earth Sci 104: 1901-1906. doi: 10.1007/s00531-015-1183-1
![]() |
[18] | Sahoo S, Malik JN (2017) Active fault topography along Kangra valley fault in the epicentral zone of 1905 Mw7. 8 earthquake NW Himalaya, India. Quat Int 462: 90-108. |
[19] |
Burg JP, Bouilhol P (2018) Timeline of the South-Tibet—Himalayan belt: the geochronological record of subduction, collision, and underthrusting from zircon and monazite U-Pb ages. Can J Earth Sci 56: 1318-1332 doi: 10.1139/cjes-2018-0174
![]() |
[20] |
Shah AA, Abd MN, Aliudin NAB, et al. (2020) Formation, Rotation, and Present-Day Configuration of Kashmir and Peshawar Basins in NW Himalaya. Front Earth Sci 8: 569771. doi: 10.3389/feart.2020.569771
![]() |
[21] |
Yin A, Harrison TM (2000) Geologic Evolution of the Himalayan-Tibetan Orogen. Annu Rev Earth Planet Sci 28: 211-280. doi: 10.1146/annurev.earth.28.1.211
![]() |
[22] |
Murphy MA, Yin A (2003) Structural evolution and sequence of thrusting in the Tethyan fold-thrust belt and Indus-Yalu suture zone, southwest Tibet. GSA Bull 115: 21-34. doi: 10.1130/0016-7606(2003)115<0021:SEASOT>2.0.CO;2
![]() |
[23] |
Sinclair HD, Jaffey N (2001) Sedimentology of the Indus group, Ladakh, northern India: Implications for the timing of initiation of the palaeo‐Indus River. J Geol Soc 158: 151-162 doi: 10.1144/jgs.158.1.151
![]() |
[24] |
Garzanti E, Haver TV (1988) The Indus clastics: Fore‐arc basin sedimentation in the Ladakh Himalaya (India). Sediment Geol 59: 237-249. doi: 10.1016/0037-0738(88)90078-4
![]() |
[25] |
Searle MP, Pickering KT, Cooper DJW (1990) Restoration and evolution of the intermontane Indus molasse basin, Ladakh Himalaya, India. Tectonophysics 174: 301-314. doi: 10.1016/0040-1951(90)90327-5
![]() |
[26] |
Searle MP (1986) Structural evolution and sequence of thrusting in the High Himalayan, Tibetan—Tethys and Indus suture zones of Zanskar and Ladakh, Western Himalaya. J Struct Geol 8: 923-936. doi: 10.1016/0191-8141(86)90037-4
![]() |
[27] |
Qayyum M, Lawrence RD, Niem AR (1997) Discovery of the palaeo-Indus delta-fan complex. J Geol Soc 154: 753-756. doi: 10.1144/gsjgs.154.5.0753
![]() |
[28] | Nakata T (1989) Active faults of the Himalayas of India and Nepal. Spec Pap Geol Soc Am 232: 243-264. |
[29] | Sahoo S, Malik JN (2017) Active fault topography along Kangra valley fault in the epicentral zone of 1905 Mw7. 8 earthquake NW Himalaya, India. Quat Int 462: 90-108. |
[30] | Shah AA, Syaakiirroh Sahari, Navakanesh B, et al. (2022) Tectonic geomorphology of the Jhelum fault zone and its contiguous regions in western Himalaya. Bull Geol Soc Malay 73. |
[31] |
Shah AA, Navakanesh B (2020) Active tectonics and active faults: Why these terms still lack consensus on definitions. Bull Geol Soc Malay 70: 125-132. doi: 10.7186/bgsm70202010
![]() |
[32] | DiPietro JA, Pogue KR (2004) Tectonostratigraphic subdivisions of the Himalaya: A view from the west. Tectonics 23. |
[33] | Jouanne F, Munawar N, Mugnier JL, et al. (2020) Seismic coupling quantified on inferred décollements beneath the western syntaxis of the Himalaya. Tectonics 39. |
[34] | Shah AA, Rajasekharan A, Batmanathan N, et al. (2021) Dras Fault: a major active fault in Kashmir Himalaya. Bull N Z Soc Earthq Eng 30. |
[35] | Sangode SJ, Phadtare NR, Meshram DC, et al. (2011) A record of lake outburst in the Indus valley of Ladakh Himalaya, India. Curr Sci 100: 1712-1718. |
[36] |
Gansser A (1980) The significance of the Himalayan suture zone. Tectonophysics 62: 37-52. doi: 10.1016/0040-1951(80)90134-1
![]() |
[37] |
Searle MP (1983) Stratigraphy, structure and evolution of the Tibetan-Tethys zone in Zanskar and the Indus suture zone in the Ladakh Himalaya. Earth Environ Sci Trans R Soc Edinb 73: 205-219. doi: 10.1017/S0263593300009688
![]() |
[38] | Ahmad SA, Sahari S, Qadir A, et al. (2020) A critical review of field relationships and gravitational origin of active normal faults in the Kashmir basin, NW Himalaya. J Asian Earth Sci X 100042. |
[39] |
Schiffman C, Bali BS, Szeliga W, et al. (2013) Seismic slip deficit in the Kashmir Himalaya from GPS observations. Geophys Res Lett 40: 5642-5645. doi: 10.1002/2013GL057700
![]() |
[40] |
Kundu B, Yadav RK, Bali BS, et al. (2014) Oblique convergence and slip partitioning in the NW Himalaya: Implications from GPS measurements. Tectonics 33: 2013-2024. doi: 10.1002/2014TC003633
![]() |
[41] |
Bilham R (2019) Himalayan earthquakes: a review of historical seismicity and early 21st century slip potential. Geol Soc Spec Publ 483: 423-482. doi: 10.1144/SP483.16
![]() |
[42] | Omar Pengiran DNA, Shah AA, Abd MN (2020) Active transtensional structures mapped in the west of Karakoram fault (KF), Kashmir Himalayas. 5th International Young Earth Scientists (YES) Congress "Rocking Earth's Future". |
[43] |
Koukouvelas IK, Zygouri V, Papadopoulos GA, et al. (2017) Holocene record of slip-predictable earthquakes on the Kenchreai Fault, Gulf of Corinth, Greece. J Struct Geol 94: 258-274. doi: 10.1016/j.jsg.2016.12.001
![]() |
[44] |
Koukouvelas IK, Zygouri V, Nikolakopoulos K, et al. (2018) Treatise on the tectonic geomorphology of active faults: The significance of using a universal digital elevation model. J Struct Geol 116: 241-252. doi: 10.1016/j.jsg.2018.06.007
![]() |
1. | Rena Bakhshi, Lucia Cloth, Wan Fokkink, Boudewijn Haverkort, 2009, Mean-Field Analysis for the Evaluation of Gossip Protocols, 978-0-7695-3808-2, 247, 10.1109/QEST.2009.38 | |
2. | Rena Bakhshi, Lucia Cloth, Wan Fokkink, Boudewijn R. Haverkort, Mean-field framework for performance evaluation of push–pull gossip protocols, 2011, 68, 01665316, 157, 10.1016/j.peva.2010.08.025 | |
3. | Luca Bortolussi, Jane Hillston, Diego Latella, Mieke Massink, Continuous approximation of collective system behaviour: A tutorial, 2013, 70, 01665316, 317, 10.1016/j.peva.2013.01.001 | |
4. | Ciro D'Apice, Rosanna Manzo, Benedetto Piccoli, A Fluid Dynamic Model for Telecommunication Networks with Sources and Destinations, 2008, 68, 0036-1399, 981, 10.1137/060674132 | |
5. | Rena Bakhshi, Lucia Cloth, Wan Fokkink, Boudewijn R. Haverkort, MeanField analysis for the evaluation of gossip protocols, 2008, 36, 0163-5999, 31, 10.1145/1481506.1481513 | |
6. | JAVIER GÓMEZ-SERRANO, CARL GRAHAM, JEAN-YVES LE BOUDEC, THE BOUNDED CONFIDENCE MODEL OF OPINION DYNAMICS, 2012, 22, 0218-2025, 1150007, 10.1142/S0218202511500072 | |
7. | Ciro D'Apice, Rosanna Manzo, Benedetto Piccoli, On the Validity of Fluid-dynamic Models for Data Networks, 2012, 7, 1796-2056, 10.4304/jnw.7.6.980-990 |