Three Solutions for a Partial Discrete Dirichlet Problem Involving the Mean Curvature Operator

: Partial difference equations have received more and more attention in recent years due to their extensive applications in diverse areas. In this paper, we consider a Dirichlet boundary value problem of the partial difference equation involving the mean curvature operator. By applying critical point theory, the existence of at least three solutions is obtained. Furthermore, under some appropriate assumptions on the nonlinearity, we respectively show that this problem admits at least two or three positive solutions by means of a strong maximum principle. Finally, we present two concrete examples and combine with images to illustrate our main results.


Introduction
Throughout this article, we denote by R and Z the sets of real numbers and integers, respectively. For a, b ∈ Z satisfying a ≤ b, define Z(a, b) = {a, a + 1, · · · , b}.
Here m and n are given positive integers, ∆ 1 and ∆ 2 are the forward difference operators, i.e., ∆ 1 x(i, j) = x(i + 1, j) − x(i, j) and ∆ 2 x(i, j) = x(i, j + 1) − x(i, j), ∆ 2 1 x(i, j) = ∆ 1 (∆ 1 x(i, j)) and ∆ 2 2 x(i, j) = ∆ 2 (∆ 2 x(i, j)), φ c denotes the mean curvature operator [1] defined by φ c (s) = s numerous practical applications in many fields. For instance, Shi and Chua [29] established the following partial difference equation in image processing (4 + λ)v m,n − v m−1,n − v m+1,n − v m,n−1 − v m,n+1 = λd m,n , (m, n) ∈ Z(0, M − 1) × Z(0, N − 1), where d m,n is proportional to the intensity of the input image at the associated pixel, v m,n denotes the nodal voltage waveform of the resistive array, and the parameter λ controls the amount of smoothing. In [30], to modelling the temperature distribution of a "very long" rod, Cheng introduced the nonlinear reaction diffusion equation where f is a real function defined on R. Of course, these applications have greatly promoted the theoretical study of partial difference equations.
Following the ideas from [34], the authors first investigated the nonlinear algebraic system associated with (E f λ ) and further obtained several different results on the existence and multiplicity of solutions for problem (E f λ ) by means of critical point theory. In 2020, Du and Zhou [35] considered the partial discrete Dirichlet problem (S f λ ): ∆ 1 (φ p (∆ 1 x(i − 1, j))) + ∆ 2 (φ p (∆ 2 x(i, j − 1))) + λ f ((i, j), x(i, j)) = 0, (i, j) ∈ Z(1, m) × Z(1, n) with boundary conditions (1). By directly establishing the variational structure corresponding to (S f λ ) and applying critical point theory, the authors acquired a series of the existence results.
Lately, Wang and Zhou [36] discussed a more general problem (S f ,q λ ): with boundary conditions (1). Using critical point theory, the authors determined the intervals of parameter λ in which problem (S f ,q λ ) admits at least three solutions. Compared with the partial difference equations with φ p -Laplacian, there is less work on the partial difference equations involving φ c -Laplacian, which is mainly because the latter is more complex to deal with. In fact, φ c -Laplacian has very important theoretical significance and application value [37,38].
Recently, Du and Zhou [39] studied the partial discrete Dirichlet problem (D Owing to the reasons above, we will investigate the existence of at least three solutions for problem (D f ,q λ ) in this paper. Please note that Lemma 4 plays an important role in the proof of our results, which is more complex than [39]. In addition, different from the main tools of proof in [39], the existence of at least three solutions is obtained using another three critical points theorem. Based on a strong maximum principle, we further obtain the existence of at least two and three positive solutions when the nonlinearity f satisfies appropriate hypotheses, respectively.
First of all, we recall a critical lemma (see Theorem 2.1 of [40]).

Lemma 1.
Let X be a separable and reflexive real Banach space. Φ : X → R is a nonnegative continuously Gâteaux differentiable and sequentially weakly lower semicontinuous functional whose Gâteaux derivative admits a continuous inverse on X * . J : X → R is a continuously Gâteaux differentiable functional whose Gâteaux derivative is compact. Assume that there exists Then, for each has at least three solutions in X and, moreover, for each h > 1, there exist an open interval and a positive real number σ such that for each λ ∈ Λ 2 , the equation (2) has at least three solutions in X whose norms are less than σ.
The rest of this article is organized as follows. In Section 2, we introduce the variational framework corresponding to problem (D f ,q λ ) and show some basic lemmas. Our main results are presented in Section 3. In particular, when the nonlinearity f satisfies appropriate hypotheses, we respectively acquire the existence of at least two or three positive solutions for problem (D f ,q λ ) by applying the established strong maximum principle. In Section 4, we give two concrete examples and simulate the partial solutions by two images to illustrate our main results.
For any x ∈ X, we define It is easy to verify that Φ, J : X → R are two continuously Gâteaux differentiable functionals and for any x, z ∈ X, Therefore, for any x, z ∈ X,

Lemma 3.
For any x ∈ X, one has Proof. On the one hand, from (2.1) of [39], for any x ∈ X, we have On the other hand, for Similarly, we infer Therefore, It is easy to verify that That is to say, x and 2 √ 2mn x ∞ are approximate when m and n are large enough.

Remark 2. (5) implies that for any
Thus, In view of (5), we obtain Next, we discuss Φ 2 (x). Please note that Consequently, which yields our conclusion.
Finally, we establish the following strong maximum principle to acquire positive solutions of problem (D f ,q λ ).

Main Results
For later convenience, put Now, we state our main results.
such that Then, for every problem (D f ,q λ ) has at least three solutions in X, where Moreover, set Then, for any h > 1, there are an open interval Λ 2 ⊆ 0, a b h and a real number σ > 0 such that for every λ ∈ Λ 2 , problem (D f ,q λ ) has at least three solutions in X and their norms are less than σ.  Proof of Theorem 1. Put X, Φ and J as defined in Section 2, it is easy to see that X, Φ and J satisfy all structure hypotheses requested in Lemma 1.
For any x ∈ X, it follows from the assumption (A 2 ) that Combining with (6), for any λ ≥ 0, one has Taking into account that α < 1 and Remark 2, we have That is to say, the condition (i) of Lemma 1 holds.
To verify the condition (ii) of Lemma 1, set Then r > 0, x 1 ∈ X and Φ(x 1 ) = (2m + 2n + Q) 1 + d 2 − 1 , We obtain Φ(x 1 ) > r by (10), which yields the condition (ii) of Lemma 1. Now we only need to verify the condition (iii) of Lemma 1. On the one hand, we infer On the other hand, for any x ∈ Φ −1 (−∞, r], it follows from (6) that So, Then, for any (i, j) ∈ Z(1, m) × Z(1, n), one has i.e., |x(i, j)| ≤ c. Hence, In view of the assumption (A 1 ), we deduce which means that the condition (iii) of Lemma 1 is satisfied. Please note that Therefore, Lemmas 1 and 2 guarantee that for any problem (D f ,q λ ) has at least three solutions in X. Moreover, Hence, Lemmas 1 and 2 ensure that for any h > 1, there are an open interval Λ 2 ⊆ 0, a b h and a real number σ > 0 such that for any λ ∈ Λ 2 , problem (D f ,q λ ) has at least three solutions in X and their norms are less than σ. Theorem 1 is proved completely.
Next, we verify the existence of at least two positive solutions for problem (D f ,q λ ) by means of Lemma 5. Corollary 1. Assume that f ((i, j), 0) ≥ 0 for every (i, j) ∈ Z(1, m) × Z(1, n), and there are positive constants c, d, µ, α satisfying α < 1 and (10) such that Then, for any Moreover, set Then, for any h > 1, there are an open interval Λ 2 ⊆ 0, a b h and a positive real number σ such that for any λ ∈ Λ 2 , problem (D f ,q λ ) possesses at least two positive solutions in X whose norms are all less than σ.

Corollary 2.
Assume that there are positive constants c, d, η, α satisfying α < 1 and (10) such that Then, for any problem (D ωg,q λ ) possesses at least two positive solutions in X. Moreover, set Then, for any h > 1, there are an open interval Λ 2 ⊆ 0, a b h and a real number σ > 0 such that for any λ ∈ Λ 2 , problem (D ωg,q λ ) possesses at least two positive solutions in X whose norms are all less than σ.
Taking into account (A 1 ) and (A 2 ), the conclusion of Corollary 2 holds with the help of Corollary 1.
In fact, if f ((i, j), 0) > 0 for every (i, j) ∈ Z(1, m) × Z(1, n), we can obtain the existence of at least three positive solutions for problem (D  Proof. Put f * and F * as defined in (11) and (12). Similar to the proof of Corollary 1, we can establish that problem (D f * ,q λ ) admits at least three solutions when λ belongs to intervals Λ 1 or Λ 2 . Let x be an arbitrary solution of problem (D f * ,q λ ), then for any
Therefore, Corollary 2 ensures that for any the problem considered admits at least two positive solutions in X.

≈9.070;
and F((i, j), ξ) = 1 4 They indicate that the conditions (10), (A * 1 ) and (A * 2 ) in Corollary 3 hold, respectively. According to Corollary 3, for any the problem considered admits at least three positive solutions in X.

Conclusions
Mathematical models concerned with partial difference equations play important roles in many fields. In this article, the partial discrete problem (D f ,q λ ) involving the mean curvature operator is considered. In contrast to [39], by employing Theorem 2.1 in [40], some new sufficient conditions are established to ensure that problem (D f ,q λ ) admits at least three solutions, as shown in Theorem 1. Furthermore, under suitable assumptions on the nonlinearity f , we prove the existence of at least two positive solutions using the established strong maximum principle, as shown in Corollaries 1 and 2. Please note that Corollary 2 is an improvement of Corollary 3.3 in [36]. Additionally, we show that problem (D f ,q λ ) has at least three positive solutions in Corollary 3. Compared with [39], we prove the inequality about Φ in Lemma 4 to obtain the coercivity of the functional Φ − λJ, which is more complex than [39]. The ingenious definition of norm · makes the proof of Lemma 4 simpler. On the other hand, to demonstrate the applicability of our results, we not only give two concrete examples, but also illustrate the existence of multiple solutions by images, which is more intuitive. How to obtain the existence and multiplicity of periodic or homoclinic solutions for the partial difference equations is a very worthy subject. This will be our future work.