 Research
 Open Access
 Published:
Existence of solutions for nonlocal pLaplacian thermistor problems on time scales
Boundary Value Problems volume 2013, Article number: 1 (2013)
Abstract
In this paper, a nonlocal initial value problem to a pLaplacian equation on time scales is studied. The existence of solutions for such a problem is obtained by using the topological degree method.
1 Introduction
In this paper, we are concerned with the existence of solutions of the following nonlocal pLaplacian dynamic equation on a time scale $\mathbb{T}$:
with integral initial value
where ${\varphi}_{p}(\cdot )$ is the pLaplace operator defined by ${\varphi}_{p}(s)={s}^{p2}s$, $p>1$, ${\varphi}_{p}^{1}={\varphi}_{q}$ with q the Hölder conjugate of p, i.e., $\frac{1}{p}+\frac{1}{q}=1$, $\lambda >0$, $k>0$, $f:{[0,T]}_{\mathbb{T}}\u27f6{\mathbb{R}}^{+\ast}$ is continuous (${\mathbb{R}}^{+\ast}$ denotes positive real numbers), $a:{[0,T]}_{\mathbb{T}}\u27f6{\mathbb{R}}^{+}$ is left dense continuous, $g(s)\in {L}^{1}({[0,T]}_{\mathbb{T}})$ and A is a real constant.
This model arises in ohmic heating phenomena, which occur in shear bands of metals which are deformed at high strain rates [1, 2], in the theory of gravitational equilibrium of polytropic stars [3], in the investigation of the fully turbulent behavior of real flows, using invariant measures for the Euler equation [4], in modeling aggregation of cells via interaction with a chemical substance (chemotaxis) [5]. For the onedimensional case, problems with the nonlocal initial condition appear in the investigation of diffusion phenomena for a small amount of gas in a transparent tube [6, 7]; nonlocal initial value problems in higher dimension are important from the point of view of their practical applications to modeling and investigating of pollution processes in rivers and seas, which are caused by sewage [8].
The study of dynamic equations on time scales has led to some important applications [9–11], and an amount of literature has been devoted to the study the existence of solutions of secondorder nonlinear boundary value problems (e.g., see [12–18]).
Motivated by the above works, in this paper, we study the existence of solutions to Problem (1.1), (1.2). Compared with the works mentioned above, this article has the following new features: firstly, the main technique used in this paper is the topological degree method; secondly, Problem (1.1), (1.2) involves the integral initial condition.
The paper is organized as follows. We introduce some necessary definitions and lemmas in the rest of this section. In Section 2, we provide some necessary preliminaries, and in Section 3, the main results are stated and proved.
Definition 1.1 For $t<sup\mathbb{T}$ and $r>inf\mathbb{T}$, define the forward jump operator σ and the backward jump operator ρ, respectively,
for all $t,r\in \mathbb{T}$. If $\sigma (t)>t$, t is said to be right scattered, and if $\rho (r)<r$, r is said to be left scattered. If $\sigma (t)=t$, t is said to be right dense, and if $\rho (r)=r$, r is said to be left dense. If $\mathbb{T}$ has a right scattered minimum m, define ; otherwise, set . If $\mathbb{T}$ has a left scattered maximum M, define ; otherwise, set .
Definition 1.2 For $x:\mathbb{T}\u27f6\mathbb{R}$ and , we define the delta derivative of $x(t)$, ${x}^{\mathrm{\u25b3}}(t)$, to be the number (when it exists) with the property that for any $\epsilon >0$, there is a neighborhood U of t such that
for all $s\in U$. For $x:\mathbb{T}\u27f6\mathbb{R}$ and , we define the nabla derivative of $x(t)$, ${x}^{\mathrm{\nabla}}(t)$, to be the number (when it exists) with the property that for any $\epsilon >0$, there is a neighborhood V of t such that
for all $s\in V$.
Definition 1.3 If ${F}^{\mathrm{\u25b3}}(t)=f(t)$, then we define the delta integral by
If ${\mathrm{\Phi}}^{\mathrm{\nabla}}(t)=f(t)$, then we define the nabla integral by
Throughout this paper, we assume that $\mathbb{T}$ is a nonempty closed subset of ℝ with $0\in {\mathbb{T}}_{k}$, $T\in {\mathbb{T}}^{k}$.
Lemma 1.1 (Alternative theorem)
Suppose that X is a Banach space and A is a completely continuous operator from X to X. Then for any $\lambda \ne 0$, only one of the following statements holds:

(i)
For any $y\in X$, there exists a unique $x\in X$, such that
$$(A\lambda I)x=y;$$ 
(ii)
There exists an $x\in X$, $x\ne 0$, such that
$$(A\lambda I)x=0.$$
2 Preliminaries
Let $E={C}_{ld}({[0,T]}_{T},R)$ be a Banach space equipped with the maximum norm $\parallel u\parallel =max{lim}_{{[0,T]}_{T}}u(t)$.
Consider the following problem:
where $y\in C({[0,T]}_{\mathbb{T}})$, ${\int}_{0}^{T}g(s)\mathrm{\nabla}s\ne 1$.
Integrating Eq. (2.1) from 0 to t, one obtains
Using the initial condition (2.2), we have
Integrating the above equality from 0 to t again, we obtain
Let $F(t):={\int}_{0}^{t}{\varphi}_{p}^{1}({\varphi}_{p}(A){\int}_{0}^{\tau}y(s)\mathrm{\nabla}s)\mathrm{\u25b3}\tau $.
Define an operator $K:{C}_{ld}({[0,T]}_{\mathbb{T}})\u27f6{C}_{ld}({[0,T]}_{\mathbb{T}})$ by
then (2.3) can be rewritten as
Thus, $x(t)$ is a solution to (2.1), (2.2) if and only if it is a solution to (2.4).
Lemma 2.1 $IK$ is a Fredholm operator.
Proof To prove that $IK$ is a Fredholm operator, we need only to show that K is completely continuous.
It is easy to see from the definition of K that K is a bounded linear operator from ${C}_{ld}({[0,T]}_{\mathbb{T}})$ to ${C}_{ld}({[0,T]}_{\mathbb{T}})$. Obviously, $dimR(K)=1$. So, K is a completely continuous operator. This completes the proof. □
Lemma 2.2 Problem (2.1), (2.2) admits a unique solution.
Proof Since Problem (2.1), (2.2) is equivalent to Problem (2.4), we need only to show that Problem (2.4) has a unique solution.
Using Lemma 2.1 and the alternative theorem, it is sufficient to prove that
has a trivial solution $x\equiv 0$ only.
On the contrary, suppose (2.5) has a nontrivial solution μ, then μ is a constant, and we have
The definition of K and the above equality yield
which is a contradiction to the assumptions ${\int}_{0}^{T}g(s)\mathrm{\nabla}s\ne 1$ and $\mu \not\equiv 0$.
Thus, we complete the proof. □
3 Main results
Throughout this section, we assume that the following conditions hold.
(H1) ${\int}_{0}^{T}g(s)\mathrm{\nabla}s=M<1$;
(H2) $f:{[0,T]}_{\mathbb{T}}\u27f6{\mathbb{R}}^{+\ast}$ is continuous;
(H3) $a:{[0,T]}_{\mathbb{T}}\u27f6{\mathbb{R}}^{+}$ is left dense continuous and ${max}_{t\in {[0,T]}_{\mathbb{T}}}a(t)\le {M}_{1}$;
(H4) $f(y)\le {[{c}_{1}{\varphi}_{p}(y)+{c}_{2}]}^{\frac{1}{1k}}$, ${c}_{1},{c}_{2}>0$ and ${c}_{1}<\frac{{\varphi}_{p}(\frac{1M}{{2}^{q1}T})}{\lambda {M}_{1}{T}^{1k}}$, when $k<1$;
(H5) $f(y)\ge {[{c}_{3}{\varphi}_{p}(y)]}^{\frac{1}{1k}}$, ${c}_{3}>0$ and ${c}_{3}<\frac{{\varphi}_{p}(\frac{1M}{{2}^{q1}T})}{\lambda {M}_{1}{T}^{1k}}$, when $k>1$.
From Lemma 2.2 we know that $u(t)$ is a solution to Problem (1.1), (1.2) if and only if it is a solution to the following integral equation:
Define an operator $F:{C}_{ld}({[0,T]}_{\mathbb{T}})\u27f6{C}_{ld}({[0,T]}_{\mathbb{T}})$ by
then (3.1) can be rewritten as
In order to prove the existence of solutions to (3.1), we need the following lemmas.
Lemma 3.1 F is completely continuous.
Proof Let ${R}_{1}$ be an arbitrary positive real number and denote ${B}_{1}=\{u\in {C}_{ld}({[0,T]}_{\mathbb{T}});\parallel u\parallel \le {R}_{1}\}$. Then we have for any $u\in {B}_{1}$,
This shows that $F({B}_{1})$ is uniformly bounded.
Moreover, for any $t\in {[0,T]}_{\mathbb{T}}$, we have
Thus, it is easy to prove that $F({B}_{1})$ is equicontinuous. This together with the AscoliArzelà theorem guarantees that $F({B}_{1})$ is relatively compact in ${C}_{ld}({[0,T]}_{\mathbb{T}})$.
Therefore, F is completely continuous. The proof of Lemma 3.1 is completed. □
Theorem 3.1 Assume that conditions (H1)(H5) hold. Then Problem (1.1), (1.2) has at least one solution.
Proof Lemma 2.1 and Lemma 3.1 imply that the operator $K+F$ is completely continuous. It suffices for us to prove that the equation
has at least one solution.
Define $H:[0,1]\times {C}_{ld}({[0,T]}_{\mathbb{T}})\to {C}_{ld}({[0,T]}_{\mathbb{T}})$ as
and it is clear that H is completely continuous.
Set ${h}_{\sigma}(u)=uH(\sigma ,u)$, then we have
To apply the LeraySchauder degree to ${h}_{\sigma}$, we need only to show that there exists a ball ${B}_{R}(\theta )$ in ${C}_{ld}({[0,T]}_{\mathbb{T}})$, whose radius R will be fixed later, such that $\theta \notin {h}_{\sigma}(\partial {B}_{R}(\theta ))$.
If $k<1$, choosing $R>\frac{{2}^{q1}{\varphi}_{p}^{1}({\varphi}_{p}(A)+\lambda {M}_{1}{T}^{1k}{c}_{2})T}{1M{2}^{q1}{\varphi}_{p}^{1}(\lambda {M}_{1}{T}^{1k}{c}_{1})T}$, then for any fixed $u\in \partial {B}_{R}(\theta )$, there exists a ${t}_{0}\in {[0,T]}_{\mathbb{T}}$ such that $u({t}_{0})=R$. By direct calculation, we have
From (H4), we have
If $k>1$, choosing $R>\frac{{2}^{q1}AT}{1M{2}^{q1}{\varphi}_{p}^{1}(\lambda {M}_{1}{T}^{1k}{c}_{3})T}$, then for any fixed $u\in \partial {B}_{R}(\theta )$, there exists a ${t}_{0}\in {[0,T]}_{\mathbb{T}}$ such that $u({t}_{0})=R$. From (H5), we have
If $k=1$, choosing $R>\frac{{\varphi}_{p}^{1}({\varphi}_{p}(A)+\lambda {M}_{1})T}{1M}$, then for any fixed $u\in \partial {B}_{R}(\theta )$, there exists a ${t}_{0}\in {[0,T]}_{\mathbb{T}}$ such that $u({t}_{0})=R$. By direct calculation, we have
This implies ${h}_{\sigma}u\ne \theta $ and hence we obtain $\theta \notin {h}_{\sigma}(\partial {B}_{R}(\theta ))$.
Since $deg({h}_{1},{B}_{R}(\theta ),\theta )=deg({h}_{0},{B}_{R}(\theta ),\theta )=\pm 1\ne 0$, we know that (3.2) admits a solution $u\in {B}_{R}(\theta )$, which implies that (1.1), (1.2) also admits a solution in ${B}_{R}(\theta )$. □
References
 1.
Bebernes JW, Lacey AA: Global existence and finitetime blowup for a class of nonlocal parabolic problems. Adv. Differ. Equ. 1997, 2: 927953.
 2.
Bebernes JW, Li C, Talaga P: Singlepoint blowup for nonlocal parabolic problems. Physica D 1999, 134: 4860. 10.1016/S01672789(99)000573
 3.
Krzywicki A, Nadzieja T: Some results concerning the PoissonBoltzmann equation. Zastos. Mat. 1991, 21(2):265272.
 4.
Caglioti E, Lions PL, Marchioro C, Pulvirenti M: A special class of stationary flows for twodimensional Euler equations: a statistical mechanics description. Commun. Math. Phys. 1992, 143: 501525. 10.1007/BF02099262
 5.
Wolansky G: A critical parabolic estimate and application to nonlocal equations arising in chemotaxis. Appl. Anal. 1997, 66: 291321. 10.1080/00036819708840588
 6.
Kerefov AA: Nonlocal boundary value problems for parabolic equations. Differ. Uravn. 1979, 15: 7478.
 7.
Vabishchevich PN: Nonlocal parabolic problems and the inverse heatconduction problem. Differ. Uravn. 1981, 17: 11931199.
 8.
Gordeziani DG, Avalishvili G: Investigation of the nonlocal initial boundary value problems for some hyperbolic equations. Hiroshima Math. J. 2001, 31: 345366.
 9.
Agarwal R, Bohner M, O’Regan D, Peterson A: Dynamic equations on time scales: a survey. J. Comput. Appl. Math. 2002, 141: 126. 10.1016/S03770427(01)004320
 10.
Atici FM, Guseinov GS: On Green’s functions and positive solutions for boundary value problems on time scales. J. Comput. Appl. Math. 2002, 141: 7599. 10.1016/S03770427(01)00437X
 11.
Bohner M, Peterson A: Advances in Dynamic Equations on Time Scales. Birkhäuser, Boston; 2003.
 12.
Hamal NA, Yoruk F: Positive solutions of nonlinear m point boundary value problems on time scales. J. Comput. Appl. Math. 2009, 231: 92105. 10.1016/j.cam.2009.02.003
 13.
Li WT, Sun HR: Positive solutions for second order m point boundary value problems on time scales. Acta Math. Sin. Engl. Ser. 2006, 22(6):17971804. 10.1007/s1011400507485
 14.
Sidi Ammi MR, Torres DFM: Existence of positive solutions for non local p Laplacian thermistor problems on time scales. J. Inequal. Pure Appl. Math. 2007., 8(3): Article ID 69
 15.
Sidi Ammi MR, Torres DFM: Existence of three positive solutions to some p Laplacian boundary value problems. Discrete Dyn. Nat. Soc. 2012., 2012: Article ID 145050
 16.
Sidi Ammi MR, Torres DFM: Existence and uniqueness of a positive solution to generalized nonlocal thermistor problems with fractional order derivatives. Differ. Equ. Appl. 2012, 4: 267276.
 17.
Wang DB: Existence multiplicity and infinite solvability of positive solutions for p Laplacian dynamic equations on time scales. Electron. J. Differ. Equ. 2006., 2006: Article ID 96
 18.
Yang YT, Meng FW: Positive solutions of the singular semipositone boundary value problem on time scales. Math. Comput. Model. 2010, 52: 481489. 10.1016/j.mcm.2010.03.045
Acknowledgements
This work was supported by NSFC (11271154) and by Key Lab of Symbolic Computation and Knowledge Engineering of Ministry of Education and by the 985 program of Jilin University, and the first author is also supported by the Youth Studies Program of Jilin University of Finance and Economics (XJ2012006).
Author information
Affiliations
Corresponding author
Additional information
Competing interests
All authors declare that they have no competing interests.
Authors’ contributions
WS dfafted this paper and WG checked and corrected the manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Song, W., Gao, W. Existence of solutions for nonlocal pLaplacian thermistor problems on time scales. Bound Value Probl 2013, 1 (2013). https://doi.org/10.1186/1687277020131
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1687277020131
Keywords
 existence
 pLaplacian
 time scales
 topological degree