The noise and low clarity in magnetic resonance imaging (MRI) images impede the doctor's diagnosis. An MRI image enhancement method is proposed in the non-subsampled contourlet transform (NSCT) domain. The coefficients of the NSCT are classified as noise component, weak edges component and strong edges component by feature clustering. We modified the transform coefficients to enhance the MRI images. The coefficients corresponding to noise are set to zero, the coefficients corresponding to strong edges are essentially unchanged, and the coefficients corresponding to weak edges are enhanced by a simplified nonlinear gain function. It is shown that the proposed MRI image enhancement method has advantages in visual quality and objective evaluation indexes compared to the state-of-the-art methods.
Citation: Xia Chang, Haixia Zhao, Zhenxia Xue. MRI image enhancement based on feature clustering in the NSCT domain[J]. AIMS Mathematics, 2022, 7(8): 15633-15658. doi: 10.3934/math.2022856
[1] | Hilal Essaouini, Pierre Capodanno . Analysis of small oscillations of a pendulum partially filled with a viscoelastic fluid. Communications in Analysis and Mechanics, 2023, 15(3): 388-409. doi: 10.3934/cam.2023019 |
[2] | Shuyue Ma, Jiawei Sun, Huimin Yu . Global existence and stability of temporal periodic solution to non-isentropic compressible Euler equations with a source term. Communications in Analysis and Mechanics, 2023, 15(2): 245-266. doi: 10.3934/cam.2023013 |
[3] | Long Ju, Jian Zhou, Yufeng Zhang . Conservation laws analysis of nonlinear partial differential equations and their linear soliton solutions and Hamiltonian structures. Communications in Analysis and Mechanics, 2023, 15(2): 24-49. doi: 10.3934/cam.2023002 |
[4] | Yue Pang, Xiaotong Qiu, Runzhang Xu, Yanbing Yang . The Cauchy problem for general nonlinear wave equations with doubly dispersive. Communications in Analysis and Mechanics, 2024, 16(2): 416-430. doi: 10.3934/cam.2024019 |
[5] | Zhi-Jie Wang, Hong-Rui Sun . Normalized solutions for Kirchhoff equations with Choquard nonlinearity: mass Super-Critical Case. Communications in Analysis and Mechanics, 2025, 17(2): 317-340. doi: 10.3934/cam.2025013 |
[6] | Dan Li, Yuhua Long . On periodic solutions of second-order partial difference equations involving p-Laplacian. Communications in Analysis and Mechanics, 2025, 17(1): 128-144. doi: 10.3934/cam.2025006 |
[7] | Yachun Li, Chenmu Wang . On a partially synchronizable system for a coupled system of wave equations in one dimension. Communications in Analysis and Mechanics, 2023, 15(3): 470-493. doi: 10.3934/cam.2023023 |
[8] | Maomao Wu, Haidong Liu . Multiple solutions for quasi-linear elliptic equations with Berestycki-Lions type nonlinearity. Communications in Analysis and Mechanics, 2024, 16(2): 334-344. doi: 10.3934/cam.2024016 |
[9] | Hongxia Lin, Sabana, Qing Sun, Ruiqi You, Xiaochuan Guo . The stability and decay of 2D incompressible Boussinesq equation with partial vertical dissipation. Communications in Analysis and Mechanics, 2025, 17(1): 100-127. doi: 10.3934/cam.2025005 |
[10] | Floyd L. Williams . From a magnetoacoustic system to a J-T black hole: A little trip down memory lane. Communications in Analysis and Mechanics, 2023, 15(3): 342-361. doi: 10.3934/cam.2023017 |
The noise and low clarity in magnetic resonance imaging (MRI) images impede the doctor's diagnosis. An MRI image enhancement method is proposed in the non-subsampled contourlet transform (NSCT) domain. The coefficients of the NSCT are classified as noise component, weak edges component and strong edges component by feature clustering. We modified the transform coefficients to enhance the MRI images. The coefficients corresponding to noise are set to zero, the coefficients corresponding to strong edges are essentially unchanged, and the coefficients corresponding to weak edges are enhanced by a simplified nonlinear gain function. It is shown that the proposed MRI image enhancement method has advantages in visual quality and objective evaluation indexes compared to the state-of-the-art methods.
We consider the nonlinear wave equation
ρ(x)utt−(ρ(x)ux)x=f(t,x,u), (t,x)∈(0,T)×(0,π), | (1.1) |
together with time-periodic condition
u(0,x)=u(T,x), ut(0,x)=ut(T,x), | (1.2) |
where f∈C(Ω×R,R) is T periodic with respect to t and the period T is determined by
T=2a−1b2π, for a,b∈N+. | (1.3) |
In addition to (1.2), Equation (1.1) is subject to the boundary condition
α1u(t,0)+β1ux(t,0)=0, α2u(t,π)+β2ux(t,π)=0, | (1.4) |
where the coefficients αi,βi for i=1,2 satisfy
α2i+β2i≠0, β1β2=0 and β21+β22≠0, | (1.5) |
which contains the Dirichlet-Neumann boundary condition (e.g., α1≠0,β1=0,α2=0,β2≠0) and the Dirichlet-Robin boundary condition (e.g., α1≠0,β1=0,α2≠0,β2≠0).
Equation (1.1) originated from the following equation
ω(z)utt−(ν(z)uz)z=0, | (1.6) |
which is used to describe the forced vibrations of a nonhomogeneous string and the propagation of seismic waves in nonisotropic media (see [1,2,3,4,5,6,7,8,9]). Here, u represents the vertical displacement of the seismic wave, ω(⋅) denotes the rock density, and ν(⋅) is the elasticity coefficient. By means of transformation of variables x=∫z0(ω(s)ν(s))1/2ds, Equation (1.6) is simplified as
ρ(x)utt−(ρ(x)ux)x=0, |
where ρ=(ων)1/2 denotes the impedance function.
Equation (1.1) degenerates to the classical wave equation when ρ(⋅)≡C. Since the 1960s, much work has focused on periodic solutions of classical wave equations (see [10,11,12,13,14,15,16]). For recent results on Hamiltonian systems, see [17,18], and on higher-dimensional problems, see [19,20,21]. For the Euler equation, see [22]. In addition, for stability results, see [23,24], and for blow-up solutions, see [25,26]. Many of the works are based on the spectrum made up of the eigenvalues n2−m2 with n∈N,m∈Z for the frequency ω∈Q, for example, [27,28,29,30,31]. This property ensures that the desired compact conditions hold. However, for the frequency ω∈R∖Q, the "small divisor problem'' raised naturally in realistic models, such as the wave equations and the beam equations. The tools to solve this problem are the Nash-Morse iteration and KAM (Kolmogorov-Arnold-Moser) theory (see [16,32]).
In recent decades, the nonlinear wave equations with variable coefficient have attracted broad interests. For the nonlinearity satisfying Lipschitz continuity, Barbu and Pavel in [2] used the monotonicity method to establish a periodic solution under the assumption ess infηρ(⋅)>0 with ηρ(⋅)=12ρ″ρ−14(ρ′ρ)2. The appearance of the function ηρ(⋅) is due to the Liouville transformation in investigating the Sturm-Liouville problem. The condition ess infηρ(⋅)>0 can make sure that the kernel space of the variable coefficient wave operator has finite dimensions, then the free oscillations can be easily controlled. On the other hand, it is well known that the solvability of the nonlinear problems depend on the properties of nonlinear terms. For the nonlinearity with power-law growth, Rudakov in [33] constructed the periodic solutions by the variational method. Ji and his collaborators in [6,8,9,34] obtained some interesting results on periodic solutions for several classes of nonlinear problems under various homogeneous boundary conditions via variational methods. With the help of a global inverse function theorem, Chen in [35] got an existence and uniqueness theorem for a system with a variable coefficient. Ji et al. in [7] found that there is at least two periodic solutions on some subspaces of the L2 space by using the topological degree theory. These works are all focused on the case ess infηρ(⋅)>0. However, for the case of ηρ(⋅)=0, the kernel space becomes infinite dimensional, which, together with the effects of a variable coefficient, provokes further difficulties; hence, this problem was posed by Barbu and Pavel in [2] as an open problem. Recently, Ji and his collaborators considered this problem and obtained some interesting results in [36,37,38], where ηρ(⋅) could be equal to zero or even be of sign-changing.
In addition to the effect of the sign of ηρ(⋅) on the dimension of kernel space, the spectrum of the variable coefficient wave operator has the accumulation points (e.g., [39]); thus, the existing compactness conditions are not sufficient to deal with super-linear problems. However, for the Dirichlet-Neumann boundary condition and the Dirichlet-Robin boundary condition, when T satisfies (1.3), the compactness can be improved to be good enough. Recently, when the sign of ηρ(⋅) can change, Rudakov in [40] assumed ηρ(⋅)≠ρ′(π)ρ(π) to guarantee that the dimension of the kernel is finite, then infinitely many periodic solutions are constructed for the super-linear problem under the Dirichlet-Neumann boundary condition.
This paper aims to establish the multiplicity of large periodic solutions to the problems (1.1), (1.2), and (1.4) with general variable coefficients. The word "general" means that we do not impose any restrictions on ηρ(⋅). This results in the kernel space being infinitely dimensional. To overcome this difficulty, we make use of the monotonicity method and approximation argument to estimate the component of solutions in the kernel space. To get the discrete spectrum, we assume that the period T satisfies (1.3), which guarantees that the subspace E+⊕E− of function space E defined in Section 2 is compactly embedded in Lp space for p>1. This compactness condition is sufficient for dealing with the super-linear problem. Compared with the results in [40], we remove the restriction on ηρ(⋅) and consider the Dirichlet-Robin boundary condition. Since the sign of ηρ(⋅) can change, our results can be applied to the classical wave equation.
In this paper, we make the following assumptions:
(H1) ρ∈C2[0,π] and ρ(x)>0, ∀x∈[0,π];
(H2) −˜f(⋅,⋅,ξ)=˜f(⋅,⋅,−ξ) for all (⋅,⋅,ξ)∈Ω×R, and ˜f(⋅,⋅,ξ) is nondecreasing in ξ and ˜f(⋅,⋅,ξ)=0 if, and only if, ξ=0, where
˜f(t,x,ξ)=f(t,x,ξ)ρ(x). |
(H3) There are M>0, μ>2, and a1,a2>0 such that
μ˜F(⋅,⋅,ξ)≤˜f(⋅,⋅,ξ)ξ, ∀|ξ|≥M, | (1.7) |
and
|˜f(⋅,⋅,ξ)|≤a1|ξ|μ−1+a2, ∀(⋅,⋅,ξ)∈Ω×R, | (1.8) |
where
˜F(⋅,⋅,ξ)=∫ξ0˜f(⋅,⋅,s)ds. |
At the end of this section, we show the outline of this paper. Section 2 gives the main result and some preliminaries and proves that the periodic solutions of problems (1.1), (1.2), and (1.4) are equal to the critical points of the variational problem. We study the restricted functional on a sequence of subspaces with increasing dimension and construct approximate solutions in Section 3. Finally, we obtain the main result by combining uniform boundedness and an approximation argument in Section 4, and we present our conclusions in Section 5.
Let
Ψ={ψ∈C2(Ω):ψ(0,x)=ψ(T,x),ψt(0,x)=ψt(T,x),α1ψ(t,0)+β1ψx(t,0)=0, α2ψ(t,π)+β2ψx(t,π)=0} |
and
Lp(Ω)={u:‖u‖pLp(Ω)=∫Ω|u(t,x)|pρ(x)dtdx<∞}, p≥1. |
The inner product on the Hilbert space L2(Ω) is defined as
⟨v,w⟩=∫Ωv(t,x)¯w(t,x)ρ(x)dtdx, ∀v,w∈L2(Ω). |
Definition 2.1. A function u∈Lp(Ω) is a weak solution of the problems (1.1), (1.2), and (1.4) if
∫Ωu(ρψtt−(ρψx)x)dtdx−∫Ω˜f(t,x,u)ψρdtdx=0,∀ψ∈Ψ. |
The main results are given as follows.
Theorem 2.1. Let αi,βi satisfy (1.5) for i=1,2, the period T satisfy (1.3), and let ρ and f satisfy (H1)–(H3), then, there are infinitely many periodic solutions un for the problems (1.1), (1.2), and (1.4), satisfying
‖un‖Lμ(Ω)→∞, as n→∞. |
Furthermore, un∈C(Ω)∩H1(Ω) for the Dirichlet-Neumann boundary condition and un∈C(Ω) for the Dirichlet-Robin boundary condition.
The sequence of eigenfunctions {ϕj(t)φk(x):j∈Z,k∈N} forms a completely orthonormal basis of L2(Ω) ([41]), where
ϕj(t)=eiνjt√T with νj=2jπT, j∈Z, |
and λk, φk(x) are determined by the following Sturm-Liouville problem
(ρ(x)φ′k(x))′=−λkρ(x)φk(x), k∈N,α1φk(0)+β1φ′k(0)=0, α2φk(π)+β2φ′k(π)=0. |
According to Section 4 in [42], a direct calculation shows that the eigenvalues λk have the following asymptotic formula
λk=(k+12)2+κπ+O(1k2), | (2.1) |
where
κ={−ρ′(π)ρ(π)+∫π0ηρ(x)dx, for Dirichlet−Neumann boundary condition,2α2β2−ρ′(π)ρ(π)+∫π0ηρ(x)dx, for Dirichlet−Robin boundary condition, |
with
ηρ(x)=12ρ″ρ−14(ρ′ρ)2. |
The linear operator L0 is defined as
L0ψ=ρ−1(ρψtt−(ρψx)x), ∀ψ∈Ψ, |
and its extension L is a self-adjoint operator in L2(Ω). Furthermore, we have λk−ν2j as the eigenvalues of L. Clearly, u∈L2(Ω) is a weak solution of problems (1.1), (1.2), and (1.4) if, and only if,
Lu=˜f(t,x,u). |
For any u,v∈L2(Ω), we rewrite it as u(t,x)=∑j,kujkϕj(t)φk(x) and v(t,x)=∑j,kvjkϕj(t)φk(x), where ujk and vjk are the Fourier coefficients. Set
E+=¯span{ϕj(t)φk(x):λk>ν2j}, |
E0=¯span{ϕj(t)φk(x):λk=ν2j}, |
E−=¯span{ϕj(t)φk(x):λk<ν2j}, |
then their direct sum E:=E+⊕E−⊕E0 is a Hilbert space with the inner product
(u,v)=∑λk≠ν2j|λk−ν2j|ujkˉvjk+∑λk=ν2jujkˉvjk, |
and its norm is denoted by ‖u‖E. For any u∈E, split it into u=u++u0+u− with u+∈E+, u0∈E0, u−∈E−. In particular,
‖u0‖E=‖u0‖L2(Ω). |
For any m,n∈N+, denote the finite dimensional spaces by
Wm=span{ϕjφk∣−m≤j≤m, 0≤k≤m} |
Define the "upper direct sum" spaces and the "under direct sum" spaces by
Em=(Wm∩(E−⊕E0))⊕E+, En=E−⊕E0⊕(Wn∩E+). |
Let
Emn=Em∩En. |
Obviously, Em⊂Em+1 and Emn is a finite dimensional space. Furthermore,
E=⋃m∈N+Em. |
Define the energy functional corresponding to problems (1.1), (1.2), and (1.4) as
Φ(u)=12(‖u+‖2E−‖u−‖2E)−∫Ω˜F(t,x,u)ρdtdx, ∀u∈E. | (2.2) |
Since ˜f is odd, Φ is an even C1 functional on E. In addition,
⟨Φ′(u),v⟩=(u+,v+)−(u−,v−)−∫Ω˜f(t,x,u)vρdtdx, ∀u, v∈E. | (2.3) |
Therefore, u is a weak solution of problems (1.1), (1.2), and (1.4) if, and only if, u is a critical point of Φ, namely,
Φ′(u)=0. |
In what follows, we first consider the restricted functional Φm=Φ|Em and construct its critical points.
Proposition 3.1. For any q>1, the embedding
E−⊕E+↪Lq(Ω) | (3.1) |
is compact.
Proof. A similar proof as Lemma 2.1 in [36] shows that the series
∑λk≠ν2j1(λk−ν2j)2 |
is convergent. Thus,
limj,k→∞|λk−ν2j|=∞, for λk≠ν2j. |
In consequence, by using the method of Lemma 1 in [40], we obtain the result.
Lemma 3.1. For any m∈N+, let {ui}⊂Em satisfy Φm(ui)≤˜d (a constant) and Φ′m(ui)→0 as i→∞, then {ui} has a convergent subsequence, i.e., Φm satisfies the Palais-Smale (PS) condition.
Proof. Split ui=u+i+ˆui with u+i∈E+, ˆui∈Wm∩(E−⊕E0). Obviously, ˆui=u−i+u0i with u−i∈Wm∩E−, u0i∈Wm∩E0.
Since Φm(ui)≤˜d and ⟨Φ′m(ui),ui⟩→0, by (1.7), we have,
o(1)‖ui‖E+(12−1μ)∫Ω˜f(t,x,ui)uiρdtdx≤˜d+M1, |
for some constant M1>0. Thus,
∫Ω˜f(t,x,ui)uiρdtdx≤M2, |
for some constant M2>0. Taking advantage of (1.7) again and the above estimate, we have
∫Ω˜F(t,x,ui)ρdtdx≤M3, | (3.2) |
for some constant M3>0.
According to (1.7), it follows that
˜F(t,x,ui)≥a3|ui|μ−a4, | (3.3) |
for some constants a3,a4>0. By (3.2) and (3.3), we have
‖ui‖Lμ(Ω)≤M4, | (3.4) |
for some constant M4>0. Moreover, from (1.8), we have
‖˜f(t,x,ui)‖Lμ′(Ω)≤M5, | (3.5) |
where μ′=μ/(μ−1).
Noting Φ′m(ui)→0, by (3.1), (3.4), and (3.5), it follows that
‖u+i‖2E≤o(1)‖u+i‖E+M6‖u+i‖E. |
Therefore, {u+i} is bounded in E.
By dim(Wm∩(E−⊕E0))<∞, from (3.4), we have that {ˆui} is bounded in E.
Consequently, {ui} is bounded in E, thus ui⇀u in E as i→∞ for some u∈E. Let u+, ˆu denote weak limits of {u+i}, {ˆui}, respectively, where u+i,u+∈E+, ˆui,ˆu∈Wm∩(E−⊕E0).
Since dim(Wm∩(E−⊕E0))<∞, then
‖ˆui−ˆu‖E→0, as i→∞. |
For u+i∈E+, from (2.3), it follows that
‖u+i−u+‖2E≤o(1)‖u+i−u+‖E+‖˜f(t,x,ui)‖Lμ′(Ω)‖u+i−u+‖Lμ(Ω)+o(1). |
By (3.1), u+i weakly converges to u+, and it follows that
‖u+i−u+‖Lμ(Ω)→0, as i→∞. |
Therefore,
‖u+i−u+‖E→0, as i→∞, |
which completes the proof.
Proposition 3.2. Set
ζn=supu∈(En−1)⊥∖{0}‖u‖Lμ(Ω)‖u‖E, | (3.6) |
then ζn→0 as n→∞.
Proof. Noting that (En−1)⊥⊂E+ and the embedding E+↪Lμ(Ω) is compact, a similar proof as [43] yields the result.
Lemma 3.2. For any n∈N+, there exist the constants σn, rn>0 satisfying
Φ(u)≥σn, ∀u∈(En−1)⊥∩Srn:={u∈E:‖u‖E=rn}, |
and
σn→∞, as n→∞. |
Proof. From (3.6), (1.8), and (2.2), for u∈(En−1)⊥⊂E+, it follows that
Φ(u)≥12‖u‖2E−a1‖u‖μEζμn−a2Tπ. |
Taking rn=(μa1ζμn)12−μ in the above estimate, with the help of μ>2 and ζn→0 as n→∞, for n large enough, it follows that
Φ(u)≥(12−1μ)r2n−a2Tπ>0. |
For n large enough, σn:=(12−1μ)r2n−a2Tπ>0 and σn→∞ as n→∞, and the proof is complete.
Lemma 3.3. For any n∈N+, there exist the constants Rn, ϱn>0 satisfying
Φ(u)≤0, ∀u∈En, ‖u‖E≥Rn, |
Φ(u)≤ϱn, ∀u∈En, ‖u‖E≤Rn. |
Proof. By (3.3), it follows that
Φ(u)≤12(‖u+‖2E−‖u−‖2E)−M8(‖u0‖μLμ(Ω)+‖u+‖μLμ(Ω))+M7, |
for some positive constants M7,M8.
Since u+∈Wn∩E+ and dim(Wn∩E+)<∞, then ‖u+‖μLμ(Ω)≥C1‖u+‖μE. Moreover, since ‖u0‖E=‖u0‖L2(Ω) and Lμ(Ω)↪L2(Ω), then C2‖u0‖E≤‖u0‖Lμ(Ω). Therefore,
Φ(u)≤12(‖u+‖2E−‖u−‖2E)−M8(C2‖u0‖μE+C1‖u+‖μE)+M7. |
Thus, noting μ>2, we arrive at the result.
Let
Fmn={γ∈C(Bmn,Em)∣γ is odd and γ|∂Bmn=id}, |
where Bmn={u∈Emn∣‖u‖E≤Rn}, ∂Bmn denotes the boundary of Bmn, the constant Rn is given in Lemma 3.3, and id is the identity map.
Define Ac={u∈Em∣Φm(u)≤c}, ∀c∈R, and
K={u∈Em∣Φ′m(u)=0}. |
Define
cmn=infγ∈Fmnmaxu∈BmnΦm(γ(u)). | (3.7) |
Lemma 3.4. For n large, cmn are the critical values of Φm and satisfy
0<σn≤cmn≤ϱn. |
Proof. First, it is proved by contradiction. In virtue of Φm satisfying the (PS) condition, suppose that cmn are not the critical values of Φm and there is ˉε>0 satisfying Φ−1m[cmn−ˉε,cmn+ˉε]∩K=∅. By the definition of cmn and taking γ0∈Fmn such that maxu∈BmnΦm(γ0(u))≤cmn+ˉε, we have
γ0(Bmn)⊂Acmn+ˉε. |
By the standard deformation lemma, there is an odd mapping ηt(⋅):=η(t,⋅)∈C([0,1]×Em,Em) such that η1(Acmn+ˉε)⊂Acmn−ˉε, which implies
η1(γ0(Bmn))⊂Acmn−ˉε. |
Consequently, η1∘γ0∣∂Bmn=id and η1∘γ0 is odd, i.e., η1∘γ0∈Fmn. Therefore,
cmn≤maxu∈BmnΦm(η1(γ0(u)))≤cmn−ˉε. |
This is a contradiction.
Now, we prove σn≤cmn≤ϱn. According to Lemma 3.3 and the definitions of cmn, we have cmn≤ϱn.
On the other hand, for each γ∈Fmn, let
Brn={u∈Bmn∣‖γ(u)‖E<rn}, |
where the constant rn is present in Lemma 3.2. Since γ is odd continuous, then Brn is a symmetrically bounded open ball and 0∈Brn. Moreover, from Lemmas 3.2 and 3.3, it is easy to see Rn>rn. The combining of Rn>rn and γ|∂Bmn=id yields Brn∩∂Bmn=∅. Let P:Em→Emn−1 be the natural projection. Therefore, by the Borsuk-Ulam theorem [44], there exists u0∈∂Brn satisfying Pγ(u0)=0, then we have ‖γ(u0)‖E=rn and γ(u0)∈(En−1)⊥. Thus, by Lemma 3.2, we have
maxu∈BmnΦm(γ(u))≥σn. |
We arrive at the conclusion.
For each n large, suppose that umn are the critical points of Φm corresponding to cmn. In what follows, to obtain Theorem 2.1, we are going to prove the uniform boundedness of {u±mn} for any n∈N+, then we use the approximation argument to get the desired results.
Let Mi>0 (i=9,10,11,12) denote the constants that are independent of m.
We have
⟨Lu,v⟩=(u+,v+)−(u−,v−), ∀u,v∈E. |
Moreover, since umn are the critical points of Φm, then
(u+mn,v+)−(u−mn,v−)=∫Ω˜f(t,x,umn)vρdtdx, ∀v∈Em. |
Thus, for any v∈Em, it follows that
⟨Lumn,v⟩=⟨˜f(t,x,umn),v⟩. | (4.1) |
Lemma 4.1. The sequence {u±mn} is uniformly bounded for any n∈N+.
Proof. Since
⟨Lumn,umn⟩=∫Ω˜f(t,x,umn)umnρdtdx, | (4.2) |
from (1.7), (2.2), (4.2), and Lemma 3.4, there exists M9>0 such that
(12−1μ)∫Ω˜f(t,x,umn)umnρdtdx≤ϱn+M9. |
Thus, by (1.7), we have that ∫Ω˜F(t,x,umn)ρdtdx is uniformly bounded.
From (3.3), it follows that
‖umn‖Lμ(Ω)≤M10. | (4.3) |
From (1.8), it follows that
‖˜f(t,x,umn)‖Lμ′(Ω)≤M11, | (4.4) |
where μ′=μ/(μ−1). Since
‖u+mn‖2E≤‖˜f(t,x,umn)‖Lμ′(Ω)‖u+mn‖Lμ(Ω)≤M12‖u+mn‖E, |
we have that {u+mn} is uniformly bounded for any n∈N+. The similar conclusion holds for {u−mn}. We arrive at the conclusion.
Since Lp(Ω) and E are reflexive and the embedding E−⊕E+↪Lq(Ω) is compact for q>1, then by the above lemma and (4.3), without loss of generality, we have
umn⇀un in Lμ(Ω), as m→∞,u±mn⇀u±n in E, as m→∞, | (4.5) |
u±mn→u±n in Lμ(Ω), as m→∞. | (4.6) |
Thanks to the above lemmas, now let's prove Theorem 2.1.
Proof. Let Pm:E→Em be the natural projection. According to u±mn∈Em and u±n∈E=⋃m∈N+Em, it follows that
‖u+mn‖2E=(u+mn,u+mn)=(u+mn,u+mn−Pmu+n)+(u+mn,u+n). |
In virtue of (3.1) and ‖(Pm−id)u+n‖E→0 as m→∞, we have
‖(Pm−id)u+n‖Lμ(Ω)→0, as m→∞. | (4.7) |
Replacing v with u+mn−Pmu+n in (4.1), with the aid of (4.4)–(4.7), we have
(u+mn,u+mn−Pmu+n)=∫Ω˜f(t,x,umn)(u+mn−Pmu+n)ρdtdx≤M11‖u+mn−Pmu+n‖Lμ(Ω)≤M11‖u+mn−u+n‖Lμ(Ω)+M11‖(id−Pm)u+n‖Lμ(Ω)→0, |
as m→∞. Therefore, by (4.5), we have
‖u+mn‖E→‖u+n‖E, as m→∞. |
By using (4.5) again, a similar proof shows
‖u−mn‖E→‖u−n‖E, as m→∞. |
Consequently,
‖u±mn−u±n‖E→0, as m→∞. |
To continue discussion, for any v∈E and since (id−Pm)v∈(Em)⊥ and umn−Pmun∈Em, umn is the critical point of Φm, then from (4.1), we have
⟨Lumn,umn−v⟩=⟨Lumn,umn−Pmv⟩+⟨Lumn,Pmv−v⟩=⟨˜f(t,x,umn),umn−Pmv⟩. |
Since ˜f is monotone in u, a simple calculation yields
⟨Lumn,umn−v⟩−⟨˜f(t,x,v),umn−v⟩≥⟨˜f(t,x,umn),v−Pmv⟩. | (4.8) |
Moreover, according to ‖(id−Pm)v‖Lμ(Ω)→0 and (4.4), we have
|⟨˜f(t,x,umn),(id−Pm)v⟩|≤‖˜f(t,x,umn)‖Lμ′(Ω)‖(id−Pm)v‖Lμ(Ω)⟶0, | (4.9) |
as m→∞. In virtue of the embedding Lμ(Ω)↪L2(Ω) and umn⇀un in Lμ(Ω), it follows that umn⇀un in L2(Ω) as m→∞. From (4.8) and (4.9), with the help of u±mn→u±n in E, we have
0=limm→∞⟨˜f(t,x,umn),v−Pmv⟩≤limm→∞⟨Lumn,umn−v⟩−limm→∞⟨˜f(t,x,v),umn−v⟩=⟨Lun,un−v⟩−⟨˜f(t,x,v),un−v⟩. | (4.10) |
For s>0 and ψ∈E, taking v=un−sψ and dividing by s in (4.10) shows
⟨Lun,ψ⟩−⟨˜f(t,x,un−sψ),ψ⟩≥0, |
then letting s→0 gets
⟨Lun,ψ⟩−⟨˜f(t,x,un),ψ⟩≥0. |
By using the arbitrariness of ψ, it follows that
⟨Lun,ψ⟩−⟨˜f(t,x,un),ψ⟩=0. |
Therefore, un is the critical point of Φ for n large enough.
Moreover, since ˜f is a nondecreasing function with respect to u, then its primitive function ˜F is convex with respect to u. Thus, according to u±mn→u±n in E, we have
Φm(umn)→Φ(un), as m→∞. |
In consequence, by (1.8), Lemma 3.2 and the embedding Lμ(Ω)↪L1(Ω), we have
σn≤Φ(un)≤a12‖un‖μLμ(Ω)+C3‖un‖Lμ(Ω), |
where the constant C3 is independent of n. Thus, taking into account σn→∞ as n→∞, we have
‖un‖Lμ(Ω)→∞, as n→∞. |
Moreover, we have
⟨Lun,v⟩−⟨˜f(t,x,un),v⟩=0, ∀v∈E. |
Replacing v with ϕj(t)φk(x) in the above equation, we obtain
(λk−ν2j)ujk=˜fjk, |
where ujk, ˜fjk, respectively, denote the Fourier coefficients of un, ˜f. Noting that the series ∑λk≠ν2j1|λk−ν2j|μ is convergent and the combination of the Hausdorff-Young and Hölder inequalities yields
∑λk≠ν2j|ujk|≤(∑λk≠ν2j1|λk−ν2j|μ)1μ(∑λk≠ν2j|˜fjk|μ′)1μ′≤C4‖˜f‖Lμ′(Ω). |
Therefore, recalling dimE0<∞ (see [36]), we have un∈C(Ω).
Furthermore, under the Dirichlet-Neumann boundary condition, the system
{φ′k√λk} |
forms an orthonormal basis of L2(0,π). By the methods in [40], we have
|λk−ν2j|≥C0(k+|j|), for λk≠ν2j. |
By the above estimate and (2.1), the sequences {|j||λk−ν2j|} and {√λk|λk−ν2j|} are bounded. Therefore, we have un∈H1(Ω), and the proof is complete.
In this paper, we established the multiplicity of large periodic solutions for the super-linear problem under the Dirichlet-Neumann boundary condition and the Dirichlet-Robin boundary condition. We remove the only restrict condition ηρ(⋅)≠ρ′(π)ρ(π) on ηρ(⋅) in [40]; thus, we do not impose any restrictions on ηρ(⋅). To get better compactness conditions, we assume the period T satisfies (1.3). Finally, since the sign of ηρ(⋅) can change, our results can be applied to the classical wave equation.
The authors declare they have not used Artificial Intelligence (AI) tools in the creation of this article.
This work is supported by NSFC Grants (Nos. 12071065, 12226330 and 12226310), the Natural Science Foundation of Jilin Province (No. 20210101142JC) and the Key Scientific Research Projects of Colleges and Universities in Henan Province (No. 22A110016).
The authors declare there is no conflict of interest.
[1] |
W. S. Hinshaw, P. A. Bottomley, G. N. Holland, Radiographic thin-section image of the human wrist by nuclear magnetic resonance, Nature, 270 (1977), 722-723. https://doi.org/10.1038/270722a0 doi: 10.1038/270722a0
![]() |
[2] |
K. H. Wan, S. H. Shi, C. Z. Shao, Y. B. Liu, M. Li, T. S. Hou, et al., An MRI study of psoas major and abdominal large vessels with respect to the X/DLIF approach, Eur. Spine J., 20 (2011), 557-562. https://doi.org/10.7507/1002-1892.20160291 doi: 10.7507/1002-1892.20160291
![]() |
[3] |
R. H. Wang, J. H. Lv, S. L. Ma, A MRI image segmentation method based on medical semaphore calculating in medical multimedia big data environment, Multimed. Tools Appl., 77 (2018), 9995-10015. https://doi.org/10.1007/s11042-017-4591-3 doi: 10.1007/s11042-017-4591-3
![]() |
[4] | S. S. Bedi, K. Rati, Various image enhancement techniques-a critical review, Int. J. Adv. Res. Comput. Commun. Eng., 2 (2013), 1605-1609. |
[5] |
R. Kaur, K. Kaur, Study of Image enhancement techniques in image processing: A review, Int. J. Eng. Manuf., 6 (2016), 38-50. https://doi.org/10.5815/ijem.2016.06.04 doi: 10.5815/ijem.2016.06.04
![]() |
[6] |
K. Singh, A. Seth, H. S. Sandhu, A comprehensive review of convolutional neural network based image enhancement techniques, IEEE Int. Conf. Syst. Comput. Autom. Netw., 2019, 1-6. https://doi.org/10.1109/ICSCAN.2019.8878706 doi: 10.1109/ICSCAN.2019.8878706
![]() |
[7] |
R. Hummel, Image enhancement by histogram transformation, Comput. Graphics Image Process., 6 (1997), 184-195. https://doi.org/10.1016/S0146-664X(77)80011-7 doi: 10.1016/S0146-664X(77)80011-7
![]() |
[8] |
Y. Liu, J. Guo, J. Yu, Contrast enhancement using stratifified parametric-oriented histogram equalization, IEEE T. Circ. Syst. Vid., 27 (2017), 1171-1181. https://doi.org/10.1109/TCSVT.2016.2527338 doi: 10.1109/TCSVT.2016.2527338
![]() |
[9] | K. Zuiderveld, Contrast limited adaptive histogram equalization, Academic Press Professional, Inc., 1994. https://doi.org/10.1016/B978-0-12-336156-1.50061-6 |
[10] |
J. Sheeba, S. Parasuraman, K. Amudha, Contrast enhancement and brightness preserving of digital mammograms using fuzzy clipped contrast-limited adaptive histogram equalization algorithm, Appl. Soft Comput., 42 (2016), 167-177. https://doi.org/10.1016/j.asoc.2016.01.039 doi: 10.1016/j.asoc.2016.01.039
![]() |
[11] |
B. Vikrant, M. Mukul, U. Shabana, Human visual system based unsharp masking for enhancement of mammographic images, J. Comput. Sci., 21 (2017), 387-393. https://doi.org/10.1016/j.jocs.2016.07.015 doi: 10.1016/j.jocs.2016.07.015
![]() |
[12] |
W. Ye, K. Ma, Blurriness-guided unsharp masking, IEEE T. Image Proces., 27 (2018), 4465-4477. https://doi.org/10.1109/TIP.2018.2838660 doi: 10.1109/TIP.2018.2838660
![]() |
[13] |
S. K. Chandra, M. K. Bajpai, Fractional mesh-free linear diffusion method for image enhancement and segmentation for automatic tumor classification, Biomed. Signal Proces., 58 (2020), 101841. https://doi.org/10.1016/j.bspc.2019.101841 doi: 10.1016/j.bspc.2019.101841
![]() |
[14] |
A. R. Al-Shamasneh, H. A. Jalab, S. Palaiahnakote, U. H. Obaidellah, R. W. Ibrahim, M. T. El-Melegy, A new local fractional entropy-based model for kidney MRI image enhancement, Entropy, 20 (2018), 344. https://doi.org/10.3390/e20050344 doi: 10.3390/e20050344
![]() |
[15] |
Z. Y. Chen, B. R. Abidi, D. L. Page, M. A. Abidi, Gray-level grouping: An automatic method for optimized image contrast enhancement part 1: The basic method, IEEE T. Image Proces., 15 (2006), 2290-2302. https://doi.org/10.1109/TIP.2006.875204 doi: 10.1109/TIP.2006.875204
![]() |
[16] |
A. Polesel, G. Ramponi, V. J. Mathews, Image enhancement via adaptive unsharp masking, IEEE T. Image Proces., 9 (2000), 505-510. https://doi.org/10.1109/83.826787 doi: 10.1109/83.826787
![]() |
[17] |
A. M. Chikhalikar, N. V. Dharwadkar, Model for enhancement and segmentation of magnetic resonance images for brain tumor classification, Pattern Recog. Image, 31 (2021), 49-59. https://doi.org/10.1134/S1054661821010065 doi: 10.1134/S1054661821010065
![]() |
[18] |
L. Cao, H. Q Li, Y. J. Zhang, Retinal image enhancement using low-pass filtering and α-rooting, Signal Proces., 170 (2020), 107445. https://doi.org/10.1016/j.sigpro.2019.107445 doi: 10.1016/j.sigpro.2019.107445
![]() |
[19] |
D. Wei, Z. Wang. Channel rearrangement multi-branch network for image super-resolution, Digit. Signal Proces., 120 (2022), 103254. https://doi.org/10.1016/j.dsp.2021.103254 doi: 10.1016/j.dsp.2021.103254
![]() |
[20] |
D. Wei, Y. M. Li, Convolution and multichannel sampling for the offset linear canonical transform and their applications, IEEE T. Signal Proces., 67 (2019), 6009-6024. https://doi.org/10.1109/TSP.2019.2951191 doi: 10.1109/TSP.2019.2951191
![]() |
[21] |
D. Wei, Linear canonical stockwell transform: Theory and applications, IEEE T. Signal Proces., 70 (2022), 1333-1347. https://doi.org/10.1109/TSP.2022.3152402 doi: 10.1109/TSP.2022.3152402
![]() |
[22] |
D. L. Donoho, A. G. Flesia, Can recent innovations in harmonic analysis 'explain' key findings in natural image statistics? Network-Comp. Neural, 12 (2001), 371-393. https://doi.org/10.1080/net.12.3.371.393 doi: 10.1080/net.12.3.371.393
![]() |
[23] |
A. L. Cunha, J. Zhou, M. N. Do, The nonsubsampled contourlet transform: Theory, design, and applications, IEEE T. Image Proces., 15 (2006), 3089-3101. https://doi.org/10.1109/TIP.2006.877507 doi: 10.1109/TIP.2006.877507
![]() |
[24] |
X. Chang, L. C. Jiao, F. Liu, Y. H Sha, SAR Image despeckling using scale mixtures of gaussians in the nonsubsampled contourlet domain, Chinese J. Electron., 24 (2015), 205-211. https://doi.org/10.1049/cje.2015.01.034 doi: 10.1049/cje.2015.01.034
![]() |
[25] |
M. M. Hasan, M. M. Hossain, S. Mia, A. M. Shmed, R. M. Mahman, A combined approach of non-subsampled contourlet transform and convolutional neural network to detect gastrointestinal polyp, Multimed. Tools Appl., 2022, 9949-9968 https://doi.org/10.1007/s11042-022-12250-2 doi: 10.1007/s11042-022-12250-2
![]() |
[26] |
I. Gath, A. B. Geva, Unsupervised optimal fuzzy clustering, IEEE T. Pattern Anal., 11 (1989), 773-780. https://doi.org/10.1109/34.192473 doi: 10.1109/34.192473
![]() |
[27] |
T. B. Ren, H. H. Wang, H. L. Feng, C. S. Xu, G. S. Liu, P. Ding, Study on the improved fuzzy clustering algorithm and its application in brain image segmentation, Appl. Soft Comput., 81 (2019), 105503. https://doi.org/10.1016/j.asoc.2019.105503 doi: 10.1016/j.asoc.2019.105503
![]() |
[28] |
A. F. Laine, X. Zong, A multiscale sub-octave wavelet transform for de-noising and enhancement, Wavelet Appl. Signal Image Proces. IV, 2825 (1996), 238-249. https://doi.org/10.1117/12.255235 doi: 10.1117/12.255235
![]() |
[29] |
R. E. Glenn, L. Demetrio, M. P. Vishal, Directional multiscale processing of images using wavelets with composite dilations, J. Math. Imaging Vis., 48 (2014), 13-34. https://doi.org/10.1007/s10851-012-0385-4 doi: 10.1007/s10851-012-0385-4
![]() |
[30] | Z. Al-Ameen, Contrast enhancement of medical images using statistical methods with image processing concepts, IEEE Publisher, Erbil, Iraq, 2020,169-173. https://doi.org/10.1109/IEC49899.2020.9122925 |
[31] |
A. Cohen, I. Daubechies, Non-separable bidimensional wavelet bases, Rev. Mat. Iberoam., 9 (1993), 51-137. https://doi.org/10.4171/RMI/133 doi: 10.4171/RMI/133
![]() |
1. | A. A. El-Gaber, Oscillatory criteria of noncanonical even-order differential equations with a superlinear neutral term, 2024, 2024, 1687-2770, 10.1186/s13661-024-01873-z | |
2. | Jiayu Deng, Jianhua Liu, Shuguan Ji, Multiple periodic solutions for coupled asymptotically linear wave equations with variable coefficients, 2025, 0, 1078-0947, 0, 10.3934/dcds.2025059 |