Abstract
This paper deals with thermoelectric problems including the Peltier and Seebeck effects. The coupled elliptic and doubly quasilinear parabolic equations for the electric and heat currents are stated, respectively, under power-type boundary conditions that describe the thermal radiative effects. To verify the existence of weak solutions to this coupled problem (Theorem 1), analytical investigations for abstract multi-quasilinear elliptic-parabolic systems with nonsmooth data are presented (Theorems 2 and 3). They are essentially approximated solutions based on the Rothe method. It consists on introducing time discretized problems, establishing their existence, and then passing to the limit as the time step goes to zero. The proof of the existence of time discretized solutions relies on fixed point and compactness arguments. In this study, we establish quantitative estimates to clarify the smallness conditions.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The study of the heat equation with constant coefficients is a simplification from both mathematical and engineering points of view. From the real world point of view, constant coefficients are not appropriate because the density and the thermal conductivity both depend on the temperature itself, and often also on the space variable. The concern of discontinuous leading coefficient is being a long matter of study in the mathematical literature, as long as the works [22, 25]. The complete concern is achieved by the doubly quasilinear parabolic equation [1, 3, 5]. It is well known that the determination of estimates is the crucial key in the theory of partial differential equations (PDE), which involve the so called universal bounds. These bounds are only qualitative and they do not have any practical use on the real world applications because their abstract form. In their majority, the expression of the universal bounds would be truly cumbersome if the proof of estimates was remade step by step, or even impossible if the contradiction argument is applied. Also regularity estimates have being a subject of study in the last decades [11, 12, 15], but these ones only occur by admitting data smoothness. With this in mind, our main objective is to find quantitative estimates, i.e. their involved constants have an explicit expression, that are useful on the real applications. In particular, the quantitative estimates clarify the smallness conditions on the data when a fixed point argument is used.
For the two-dimensional space situation, a first attempt on the finding smallness conditions that assure the existence and regularity results for some thermoelectric problems is presented in [9, 10], where some domain dependent constants were kept abstract. Indeed, the central result, which is only 2D valid, is provided by some higher regularity. This particular technique makes the smallness conditions quite bizarre. Here, we establish more elegant smallness conditions and they are extended to the n-dimensional space situation, by finding weak solutions. The present model also extends the thermal effects, of the previous works [9, 10], to the unsteady state.
Existence of solutions for parabolic-elliptic systems with nonlinear no-flux boundary conditions is not a new idea if taking constant coefficients into account [4]. Application of elliptic PDE system in divergence form with Dirichlet boundary conditions in doubly-connected domain of the plane are given in [7] to the problem of electrical heating of a conductor whose thermal and electrical conductivities depend on the temperature and to the flow of a viscous fluid in a porous medium, taking into account the Soret and Dufour effects. In [8], the authors deal with a traditional RLC circuit in which a thermistor has been inserted, representing the microwave heating process with temperature-induced modulations on the electric field. In particular, the existence of a solution to a coupled system of three differential equations (an ODE, an elliptic equation and a nonlinear parabolic PDE) and appropriate initial and boundary conditions is proved. A one-dimensional thermal analysis for the performance of thermoelectric cooler is conducted in [13] under the influence of the Thomson effect, the Joule heating, the Fourier heat conduction, and the radiation and convection heat transfer. Simulation studies have been performed to investigate the thermal balance affected by anode shorting in an aluminum reduction cell [6].
The method of discretization in time, whose basic idea (coming from the implicit Euler formula) was investigated by Rothe, is a very well-known effective technique for both theoretical and numerical analysis, [14, 17, 24] and [21, 26], respectively (see also the pioneering work [1] of Alt and Luckhaus).
This paper is organized as follows. The thermoelectric (TE) model is introduced in Sect. 2. After discussing the physical model, the main result with respect to this model is formulated with a detailed description of the relevant constants. In Sect. 3, one abstract model related to the problem under consideration is introduced to simplify the proofs of the existence results of time-discretized solutions (Sect. 3), and their corresponding steady-state solutions (Sect. 4). Indeed, the analysis of the problem is structured via two different approaches to exemplify alternative assumptions on the data smallness, namely the existence results of time-discretized solutions (Sects. 5.1 and 5.2), and their corresponding steady-state solutions (Sects. 4.1 and 4.2).
2 The thermoelectric model
Let \([0, T] \subset {\mathbb R}\) be the time interval with \( T >0\) being an arbitrary (but preassigned) time. Let \(\varOmega \) be a bounded domain (that is, connected open set) in \(\mathbb {R}^n\) (\(n\ge 2\)). Its boundary is constituted by two disjoint open \((n-1)\)-dimensional sets \(\partial \varOmega =\overline{\varGamma _\mathrm {N}}\cup \overline{\varGamma }\). We consider \(\varGamma _\mathrm{N}\) over which the Neumann boundary condition is taken into account, and \(\varGamma \) over which the radiative effects may occur. Each one, \(\varGamma _\mathrm{N}\) and \(\varGamma \), may be alternatively of zero \((n-1)\)-Lebesgue measure. Set \(Q_T=\varOmega \times ]0,T[\) and \(\varSigma _T=\varGamma \times ]0,T[\).
The electrical current density \(\mathbf j\) and the energy flux density \(\mathbf{J}=\mathbf{q}+\phi \mathbf{j}\), with \(\mathbf q\) being the heat flux vector, are given by the constitutive relations (see [9] and the references therein)
Here, \(\theta \) denotes the absolute temperature, \(\phi \) is the electric potential, \(\alpha _\mathrm{S}\) represents the Seebeck coefficient, and the Peltier coefficient \(\varPi (\theta )=\theta \alpha _\mathrm{s}(\theta )\) is due to the first Kelvin relation. The electrical conductivity \(\sigma \), and the thermal conductivity \(k=k_\mathrm{T}+\varPi \alpha _\mathrm{s}\sigma \), with \(k_T\) denotes the purely conductive contribution, are, respectively, the known positive coefficients of Ohm and Fourier laws.
The Seebeck coefficient \(\alpha _\mathrm{S}\) has a constant sign corresponding to the behaviour of the charge carriers as it occurs in the Hall effect under the existence of a magnetic field. With positive sign (\(\alpha _\mathrm{S}>0\)), there are as examples: the alkali metals Li, Rb and Cs [2, p. 17], and the noble metals Ag and Au [2, p. 49, 192] or [20, p. 71]. With negative sign (\(\alpha _\mathrm{S}<0\)), there are as examples: the alkali metals Na and K [20, p. 97], the transition metals Fe and Ni [2, p. 215], and the semiconductor Pb [2, p. 48]. We refer to [10, p. 3], and the references therein, for more examples and their increase and decrease behaviors.
Although heat generation starts instantaneously when the current begins to flow, it takes time before the heat transfer process is initiated to allow the transient conditions to disappear. Thus, the electrical current density \(\mathbf j\) and the energy flux density \(\mathbf{J}\) satisfy
for \(\ell \ge 2\). Here, \(\rho \) denotes the density, \(c_\mathrm {v}\) denotes the heat capacity (at constant volume), \(\mathbf n\) is the unit outward normal to the boundary \(\partial \varOmega \), and g denotes the surface current source,
The boundary operators, \(\gamma \) and h, are temperature dependent functions that express, respectively, the radiative convection depending on the wavelength, and the external heat sources. For \(\ell =5\), the Stefan–Boltzmann radiation law says that \(\gamma (T)=\sigma _\mathrm{SB}\epsilon (T)\) and \(h(T)=\sigma _\mathrm{SB} \alpha (T) \theta _\mathrm {e}^{\ell -1}\), where \(\sigma _\mathrm{SB}=\, 5.67\times 10^{-8}\hbox {W m}^{-2} \hbox { K}^{-4}\) is the Stefan-Boltzmann constant for blackbodies, and \( \theta _\mathrm {e}\) denotes an external temperature. The parameters, the emissivity \(\epsilon \) and the absorptivity \(\alpha \), both depend on the space variable and the temperature function \(\theta \). If \(\ell =2\), the boundary condition corresponds to the Newton law of cooling with heat transfer coefficient \(\gamma =h/ \theta _\mathrm {e}^{\ell -1}\).
In the framework of Sobolev and Lebesgue functional spaces, we use the following spaces of test functions:
with their usual norms, \(\ell >1\). Notice that \( V_{\ell }(\varOmega )\equiv H^{1}(\varOmega ) \) if \(\ell \le 2_*\), where \( 2_*\) is the critical trace exponent, i.e. \(2_*=2(n-1)/(n-2)\) if \(n>2\) and \(2_*>1\) is arbitrary if \(n=2\).
In the presence of the previous considerations, it is expected that the temperature-potential pair is neither regular nor even bounded. The thermoelectric problem is formulated as follows.
(TE) Find the temperature-potential pair \((\theta ,\phi )\) such that it verifies the variational problem:
for every \(v\in V_{\ell }(Q_T)\) and \(w\in V\), where \(\langle \cdot ,\cdot \rangle \) accounts for the duality product, and \(T_\mathcal {M}\) is the \(\mathcal {M}\)-truncation function defined by \(T_\mathcal {M}(z)= \max (-\mathcal {M},\min (\mathcal {M},z))\).
We assume the following.
(H1) The density and the heat capacity \(\rho , c_\mathrm {v}: \varOmega \times \mathbb {R}\rightarrow \mathbb {R}\) are Carathéodory functions, i.e. measurable with respect to \(x\in \varOmega \) and continuous with respect to \(e\in \mathbb R\). Furthermore, they verify
(H2) The thermal and electrical conductivities \(k,\sigma :\varOmega \times \mathbb {R}\rightarrow \mathbb {R}\) are Carathéodory functions. Furthermore, they verify
(H3) The Seebeck and Peltier coefficients \(\alpha _\mathrm{S},\varPi :\varOmega \times \mathbb {R}\rightarrow \mathbb {R}\) are Carathéodory functions such that
(H4) The boundary function h belongs to \(L^{\ell '}(\varSigma _T)\).
(H5) The boundary function g belongs to \( L^{2}(\varGamma _\mathrm{N})\).
(H6) The boundary operator \(\gamma \) is a Carathéodory function from \(\varSigma _T\times \mathbb {R}\) into \(\mathbb {R}\) such that
Moreover, \(\gamma \) is strongly monotone:
Let us state our main existence theorem.
Theorem 1
Let (H1)–(H6) be fulfilled. The thermoelectric problem (TE) admits a solution \((\theta ,\phi )\in V_\ell (Q_T)\times L^2(0,T; V)\), for \(\mathcal {M}\) being such that
and one of the following hypothesis is assured:
-
1.
there holds
$$\begin{aligned} 4( k_\# - \mathcal {M}\alpha ^\#\sigma ^\# ) \sigma _\# > (\sigma ^\#)^2 ( \varPi ^\#+\mathcal {M} +\alpha ^\#)^2; \end{aligned}$$(14) -
2.
there holds
$$\begin{aligned} 4( k_\# - \mathcal {M}\alpha ^\#\sigma ^\# ) >\sigma ^\# ( \varPi ^\#+\mathcal {M} +\alpha ^\#)^2; \end{aligned}$$(15) -
3.
there holds
$$\begin{aligned} k_\#> \sigma ^\# \alpha ^\# ( 2 \varPi ^\#+ 3 \mathcal {M}). \end{aligned}$$(16)
3 Existence of approximated solutions
The thermoelectric problem provides the abstract initial boundary value problem
This abstract problem is formulated in the form that the coefficients are correlated with the leading coefficient \(\sigma \). We emphasize that this interrelation must be clear.
Let us assume the hypothesis set.
(H) The operators a, F and \(b,\sigma , \alpha _\mathrm {S}\) are Carathéodory functions from \(\varOmega \times \mathbb {R}^2\) and \(\varOmega \times \mathbb {R}\), respectively, into \(\mathbb {R}\), which enjoy the following properties. There exist positive constants \(F^\#, a_\#,a^\#, b_\#,b^\#\) such that
and \(\sigma _\#,\sigma ^\#, \alpha ^\#\) verifying (9) and (10), respectively.
Definition 1
We say that \((\theta ,\phi )\) is a weak solution to (17)–(20) if it solves the variational problem
for every \(v\in V_{\ell }(Q_T)\) and \(w\in V\).
We define an auxiliary operator. Denote by B the operator from \(H^1(\varOmega )\) into \(L^2(\varOmega )\) defined by
for all \(v\in H^1(\varOmega )\).
Different approaches in the finding of solutions according to Definition 1 provide different smallness conditions (27), (28) or (31). We emphasize that the difference between these smallness conditions has its importance in the real world applications.
Theorem 2
Let (H) and (H4)–(H6) be fulfilled. If there exists \(\varepsilon >0\) such that one of the following relations holds, that is, either
or
then the variational problem (24), (25) admits a sequence of approximate solutions \(\lbrace (\theta _M,\phi _M)\rbrace _{M\in \mathbb {N}}\) in the sense established in Sect. 5.1.
The proof of Theorem 2 relies on the limit solution to the recurrent sequence of time-discretized problems
where \(\tau \) is the so called time step, B is defined in (26), \(m\in \mathbb {N}\) and \(h_m\) is conveniently chosen in Sect. 5 (the time discretization technique). We call \(\phi ^m\) the corresponding solution to the time independent temperature \(\theta ^{m}\).
Theorem 3
Let (H) and (H4)–(H6) be fulfilled. If there holds
then the variational problem (24), (25) admits a sequence of approximate solutions \(\lbrace (\theta _M,\phi _M)\rbrace _{M\in \mathbb {N}}\) in the sense established in Sect. 5.2.
The proof of Theorem 3 relies on the limit solution to the recurrent sequence of time-discretized problems
where \(\tau \) is the time step, B is defined in (26), \(m\in \mathbb {N}\) and \(h_m\) is conveniently chosen in Sect. 5 (the time discretization technique). We call \(\phi ^m\) the corresponding solution to the time independent temperature \(\theta ^{m-1}\).
4 Steady-state solvability
In this section, we prove the existence of solutions to the recurrent sequence of time-discretized problems (29), (30) and (32), (33) in Sects. 4.1 and 4.2, respectively. Since \(m\in \mathbb {N}\) is fixed and \(\theta ^{m-1}\in V_{\ell }(\varOmega )\) is given, for the sake of simplicity, we set \(f= B(\theta ^{m-1})\) and \(H=h_m\), and we omit the index to the unknown pair, i.e. we simply write \((\theta ,\phi )\).
Denoting by \(K_{2}\) the continuity constant of the trace embedding \(H^{1}(\varOmega )\hookrightarrow L^2(\varGamma )\), with \(2_*=2(n-1)/(n-2)\) if \(n>2\), and any \(2_*>2\) if \(n=2\), and by \(P_2\) the Poincaré constant correspondent to the space exponent 2, the constant \(K_2(P_2+1)\) obeys
We state the main properties of the auxiliary operators B and \(\varPsi \), the ones that we will use later. For completeness sake, we sketch the proof of the property (35).
Lemma 1
There holds
In particular, if the Assumption (23) is fulfilled then there holds
Under the Assumption (23) the operator B verifies
Proof
Let us write the decomposition
Thanks to the mean value theorem for definite integrals, there exists c between u and v such that
Since \(-B\) is a decreasing function, we obtain
which concludes the proof by definition of \(\varPsi \).
Finally, we recall the following remarkable lemma [1, Lemma 1.9].
Lemma 2
Suppose \(u_m\) weakly converge to u in \(L^p(0,T;W^{1,p}(\varOmega ))\), \(p>1\), and the estimates
and for \(z>0\)
hold with C being positive constants. Then, \(B(u_m) \rightarrow B(u)\) in \(L^1(Q_T)\) and \(\varPsi (u_m) \rightarrow \varPsi (u) \) almost everywhere in \(Q_T\).
4.1 Fixed point argument (solvability to (29) and (30))
Let \(\ell \ge 2\), and define an operator \(\mathcal {T}\) from \(\mathbf {V}_{\ell } = V_\ell (\varOmega )\times V\) into itself such that \((\theta ,\phi )=\mathcal {T}(\mathbf {u})\) is the unique solution of Proposition 1.
Proposition 1
Let \(\mathbf {u} =(u_1,u_2)\in \mathbf {V}_{\ell }\), and \(u=u_1\). Then, there exists a unique solution \((\theta ,\phi )\in \mathbf {V}_{\ell }\) to the Neumann-power-type elliptic problem
for all \(v\in V_{\ell }(\varOmega )\) and \(w\in V\). In addition, the following estimate
holds true, if provided by one of the following definitions
Proof
The existence of a solution to the variational system (37), (38) relies on the direct application of the Browder–Minty Theorem [18]. Indeed, the form \(\mathcal {F}: \mathbf {V}_{\ell }\rightarrow \mathbb {R}\) defined by
is continuous and linear, and the form \(\mathcal {L}: \mathbf {V}_{\ell }\times \mathbf {V}_{\ell }\rightarrow \mathbb {R}\) defined by
is continuous and bilinear, with \(\mathsf {L}\) being the \((2\times 2)\)-matrix
Moreover, \(\mathcal {L}\) is coercive:
with \((L_{1})_\#\) and \((L_{2})_\#\) being the positive constants defined in (40) or (41), taking the assumptions (27) and (28) into account. The difference of the definitions is consequence of the different application of the Young inequality \(2AB\le \varepsilon A^2+B^2/\varepsilon \) (\(\varepsilon ,A,B>0\)), see Remark 1. Namely, with
-
1.
\(A=| \xi _{1}| \) and \(B=| \xi _{2}|\), for (40). That is,
$$\begin{aligned} \sum _{l=1}^n ( \sigma (u) F( \mathbf {u} ) \xi _{2,l}\xi _{l,1}+ \sigma (u) \alpha _\mathrm {S} (u) \xi _{1,l}\xi _{l,2} ) \le \sigma ^\# ( F^\#+\alpha ^\# ) \left( \frac{\varepsilon }{2}A^2+\frac{1}{2\varepsilon } B^2\right) . \end{aligned}$$ -
2.
\(A=| \xi _{1}| \) and \(B=\sqrt{\sigma (u)}| \xi _{2}| \), for (41). That is,
$$\begin{aligned} \sum _{l=1}^n ( \sigma (u) F( \mathbf {u} ) \xi _{2,l}\xi _{l,1}+ \sigma (u) \alpha _\mathrm {S} (u) \xi _{1,l}\xi _{l,2} )\le \sqrt{\sigma ^\# } ( F^\#+\alpha ^\# ) \left( \frac{\varepsilon }{2}A^2+\frac{ 1}{2\varepsilon }B^2\right) . \end{aligned}$$
Finally, observing that the function \(e\in \mathbb {R}\mapsto \gamma (u) |e|^{\ell -2}e \) is monotonically increasing, we conclude the existence of the required solution.
In order to obtain (39), we take \(v=\theta \) and \(w=\phi \) as test functions in (37) and (38), respectively. Summing the obtained relations, and applying (23) and (12), the coercivity (42) of \(\mathsf {L}\), and the Hölder inequality, we find
We successively apply (34) and the Young inequality to obtain
Inserting (44) into (43), we deduce (39).
Remark 1
Even \(\varepsilon >0\) may be an arbitrary (but fixed) number, we may differently define \((L_1)_\#\) and \((L_2)_\#\). Indeed, the Young inequality \(2AB\le \varepsilon A^2+B^2/\varepsilon \) (\(\varepsilon ,A,B>0\)) may be applied to obtain
Next, let us determine whose radius make possible that the operator \(\mathcal {T}\) maps a closed ball into itself.
Proposition 2
For \(R=\max \{R_1,R_2\}\) with \(R_1\) and \(R_2\) being defined in (45) and (46), respectively, the operator \(\mathcal {T}\) verifies \(\mathcal {T}(K)\subset K\), with
Proof
Let \(\mathbf {u}\in \mathbf {V}_{\ell }\), \(u=u_1\) and \((\theta ,\phi )\) be the unique solution of Proposition 1, i.e. \((\theta ,\phi ) =\mathcal {T}(\mathbf {u})\). In order to prove that \((\theta ,\phi )\in K\) we consider two different cases: (1) if \(\Vert \theta \Vert _{\ell ,\varGamma } \le 1\); and (2) if \(\Vert \theta \Vert _{\ell ,\varGamma } >1\),
-
1.
if \(\Vert \theta \Vert _{\ell ,\varGamma } \le 1\), then there holds
$$\begin{aligned}\Vert \nabla \phi \Vert _{2,\varOmega }+ \Vert \nabla \theta \Vert _{2,\varOmega }+ \Vert \theta \Vert _{\ell ,\varGamma } \le \sqrt{2} (\Vert \nabla \phi \Vert _{2,\varOmega }^2+ \Vert \nabla \theta \Vert _{2,\varOmega }^2)^{1/2}+1, \end{aligned}$$by applying the elementary inequality \((a+b)^2\le 2(a^2+b^2)\) for every \(a,b\ge 0\). By using (39), we may take
$$\begin{aligned} R_1= \left( \frac{2\mathcal {R}}{\min \left\{ (L_{1})_\#, (L_{2})_\#/2\right\} } \right) ^{1/2}+1 . \end{aligned}$$(45) -
2.
if \(\Vert \theta \Vert _{\ell ,\varGamma } > 1\), then using \(\ell \ge 2\) there holds
$$\begin{aligned}\Vert \nabla \phi \Vert _{2,\varOmega }+ \Vert \nabla \theta \Vert _{2,\varOmega }+ \Vert \theta \Vert _{\ell ,\varGamma } \le \sqrt{2} ( 2(\Vert \nabla \phi \Vert _{2,\varOmega }^2+ \Vert \nabla \theta \Vert _{2,\varOmega }^2) + \Vert \theta \Vert _{\ell ,\varGamma } ^\ell )^{1/2}, \end{aligned}$$by applying the elementary inequality \((a+b)^2\le 2(a^2+b^2)\) for every \(a,b\ge 0\). By using (39), we may take
$$\begin{aligned} R_2^2= \left( \frac{2 }{\min \left\{ (L_{1})_\#, (L_{2})_\#/2\right\} } + \frac{\ell '}{\gamma _\#}\right) \mathcal {R}. \end{aligned}$$(46)
Then, the proof is complete by taking R such that is the maximum of \(R_1\) and \(R_2\) defined in (45) and (46), respectively.
Proposition 3
The operator \(\mathcal {T}\) is continuous.
Proof
Let \(\lbrace \mathbf {u}^m\rbrace _{m\in \mathbb {N}}\) be a sequence which weakly converges to \(\mathbf {u}=(u,u_2)\) in \( \mathbf {V}_\ell \), and \((\theta _m,\phi _m)=\mathcal {T}(\mathbf {u}^m)\) for each \(m\in \mathbb {N}\). Proposition 1 guarantees that \((\theta _m,\phi _m)\) solves, for each \(m\in \mathbb {N}\), the variational system (37)\(_m\), (38)\(_m\), with \(\mathbf {u}\) replaced by \(\mathbf {u}^m\). The uniform boundedness ensured by Proposition 2 guarantees the existence of a limit \((\theta ,\phi )\in \mathbf {V}_\ell \), for at least a subsequence of \((\theta _m,\phi _m)\) still denoted by \((\theta _m,\phi _m)\), such that
The Rellich–Kondrachov theorem guarantees the strong convergences
To show that \((\theta ,\phi )=\mathcal {T}(\mathbf {u})\), it remains to pass to the limit in the system (37)\(_m\), (38)\(_m\) as m tends to infinity.
Applying the Krasnoselski theorem to the Nemytskii operators b, a, \(\sigma \), we have
for all \(v\in H^1(\varOmega )\), making use of the Lebesgue dominated convergence theorem and the assumptions (9), (22) and (23). Also the terms \(\sigma (u^m)F(\mathbf {u}^m) \nabla v\) and \( \sigma (u^m) \alpha _\mathrm {S} (u^m) \nabla v\) pass to the limit making recourse to the assumptions (21) and (10), respectively.
Similarly, the boundary term \(\gamma (u^m)v\) converges to \(\gamma (u) v\) in \(L^{\ell '}(\varGamma )\), for all \(v\in L^{\ell '}(\varGamma )\), due to (12). Observe that \( \theta _m\) strongly converges to \(\theta \) in \(L^p(\varGamma )\), for all \(1<p<\ell \). Then, the nonlinear boundary term \(\gamma (u^m) |\theta ^m|^{\ell -2} \theta ^m \) weakly passes to the limit, as m tends to infinity, to \(\gamma (u)\varLambda \) in \(L^{\ell '}(\varGamma )\). Therefore, we pass to the limit the variational system (37)\(_m\), (38)\(_m\), as m tends to infinity, to conclude that \(\phi \) is the required limit solution, i.e. it solves the limit equality (38), while \(\theta \) verifies
It remains to identify the limit \(\varLambda \) by using the Minty trick as follows. The argument is slightly different from the classical one (see [18]).
Making recourse to the the lower bound (12) of \(\gamma \) and the monotone property of the function \(v\mapsto |v|^{\ell -2}v\), we have
Thanks to the coercivity coefficients (40) or (41), the monotone property of the boundary term, and the Hölder and Young inequalities, let us consider
Let us define
On the one hand, we deduce
On the other hand, taking in (37)\(_m\) the test function \(v=\theta ^m\), in (47) the test function \(v=\theta \), in (38)\(_m\) the test function \(w=\phi _m\), and in (38) the test function \(w=\phi \), we deduce
Gathering the above two relations, we find
We continue the argument by taking \(v=\theta -\delta \varphi \), with \(\varphi \in \mathcal {D}(\varGamma )\). After dividing by \(\delta >0\), and finally letting \(\delta \rightarrow 0^+\) we arrive to
which implies that \(\varLambda = |\theta |^{\ell -2}\theta \).
Thus, we are in the condition of concluding that \((\theta ,\phi )\) is the required limit solution, i.e. it solves the limit system (37, (38).
Thanks to Propositions 1, 2 and 3, there exists at least one fixed point of \(\mathcal {T}\), that is \((\theta ,\phi )=\mathcal {T}(\theta ,\phi )\), which concludes the solvability to (29) and (30).
4.2 Fixed point argument (solvability to (32) and (33))
Let \(\ell \ge 2\), and define an operator \(\mathcal {T}\) from \(V_{\ell }(\varOmega )\) into itself such that \(\theta =\mathcal {T}(u)\) is the unique solution of Proposition 5.
Denote by \(\mathcal F\) the well defined continuous operator such that \(\mathcal F( u)=\phi \). The existence of a unique weak auxiliary solution \(\phi \) to the variational equality (38) is standard and it can be stated as follows.
Proposition 4
Let \(u\in H^1(\varOmega )\). Under the assumptions (9), (10) and (H5), the Neumann problem
admits a unique solution \(\phi \in V\). Moreover, the estimate
holds true.
Proof
Let us establish the quantitative estimate (50). We take \(w=\phi \) as a test function in (49), and we compute by applying the Hölder inequality and (34)
Then, (50) arises.
Proposition 5
Let \(\mathbf {u} =(u,\phi ) \in \left( H^1(\varOmega ) \right) ^2\). Under the assumptions (9), (12) and (21)–(23), there exists a unique solution \(\theta \in V_\ell (\varOmega )\) to the power-type elliptic problem
for all \(v\in V_{\ell }(\varOmega )\). If \(\phi \in V\) satisfies (50), then the following estimate
holds true.
Proof
Taking \(v=\theta \) as a test function in (51), and applying (23), (22), (12), (21), and the Hölder inequality, we find
Applying (50) and the Young inequality, we compute
Then, arguing as in (44), we deduce (52).
Next, let us determine whose radius make possible that the operator \(\mathcal {T}\) maps a closed ball into itself.
Proposition 6
Let (31) be fulfilled. For \(\tau \le a_\# / b_\#\) and \(R>0\) being defined as in (53), the operator \(\mathcal {T}\) verifies \(\mathcal {T}(\overline{B_R})\subset \overline{B_R}\), with \(B_R\) denoting the open ball of \(H^1(\varOmega )\) with radius R.
Proof
Let \(u\in H^1(\varOmega )\) and \(\theta =\mathcal {T}(u)\) be the unique solution according to Proposition 5. Considering (52) and \(\min \left\{ b_\#/\tau ,a_\#\right\} =a_\#\), the proof is complete by defining R such that
taking the Assumption (31) be account.
Proposition 7
Let \(\lbrace u_m\rbrace _{m\in \mathbb {N}}\) be a sequence which weakly converges to u in \( H^1(\varOmega )\), then the solution \((\theta _m,\phi _m)\), according to Propositions 4 and 5, weakly converges in \(V_\ell (\varOmega )\times H^1(\varOmega )\), and its limit is a solution according to Propositions 4 and 5
Proof
Let \((\theta _m,\phi _m)\) be the solution according to Propositions 4 and 5 and corresponding to \(u_m\) for each \(m\in \mathbb {N}\). The estimates (50) and (52) guarantee that the sequence \((\theta _m,\phi _m)\) is uniformly bounded in \(V_\ell (\varOmega )\times H^1(\varOmega )\). Thus, we can extract a subsequence of \((\theta _m,\phi _m)\) still denoted by \((\theta _m,\phi _m)\), weakly convergent to \((\theta ,\phi )\) in \(V_\ell (\varOmega )\times H^1(\varOmega )\). Similar arguments in the proof of Proposition 3 the weak limit \((\theta ,\phi )\) solves the variational system consisting of (49) and (51), which concludes the proof of Proposition 7.
Thanks to Propositions 4, 5, 6 and 7, there exists at least one fixed point of
that is \(\theta =\mathcal {T}(\theta )\) and \(\phi =\mathcal {F}(\theta )\), which concludes the solvability to (32) and (33).
5 Time discretization technique
In this section, we apply the method of discretization in time [17, 23, 24].
We decompose the time interval \(I=[0,T]\) into M subintervals \(I_{m,M}\) of size \(\tau \) such that \(M=T/\tau \in \mathbb N\), i.e. \(I_{m,M}=[(m-1)T/M,mT/M]\) for \(m\in \{1,\ldots ,M\}\). We set \(t_{m,M}=mT/M\). Thus, the problem (24) is approximated by the following recurrent sequence of time-discretized problems
for all \(v\in V_{\ell }(\varOmega )\), and the problem (25) is approximated by either (30) or (33) for all \(w\in V\), corresponding to the two different approaches. The existence of weak solutions pair \((\theta ^m,\phi ^m) \in V_{\ell }(\varOmega )\times V\) to the above systems of elliptic problems is established in Sect. 4 with \(H =h(t_{m,M})\).
Since \(\theta ^0\in L^2(\varOmega )\) is known, we determine \((\theta ^{1},\phi ^1)\) as the unique solution of the Neumann-power-type elliptic problems (29), (30) or (32), (33), and we inductively proceed.
Denote by \(\{ {\theta }_M\}_{M\in \mathbb N}\), \(\{ {\phi }_M\}_{M\in \mathbb N}\) and \(\{ Z_M\}_{M\in \mathbb N}\) the sequences of the (piecewise constant in time) functions, \( {\theta }_M : [0,T] \rightarrow V_\ell (\varOmega )\), \( {\phi }_M : ]0,T] \rightarrow V\) and \( Z_M:[0,T]\rightarrow L^2(\varOmega )\), defined by, respectively, a.e. in \(\varOmega \)
in accordance with one of the two variational formulations (30) and (33), while
with the discrete derivative with respect to t at the time \(t=t_{m,M}\):
While \(\theta _M\) is the Rothe function obtained from \(\theta ^m\) by piecewise constant interpolation with respect to time t, the Rothe function, obtained from \(\theta ^m\) by piecewise linear interpolation with respect to time t, \(\varTheta _M\) is
For our purposes, we introduce the following definition.
Definition 2
We say that \(\{ \widetilde{B}_M= \widetilde{B}(\theta _M)\}_{M\in \mathbb N}\) is the Rothe sequence (affine on each time interval) if
in \(\varOmega \), for all \(t\in I_{m, M}\), and for all \(m\in \{1,\ldots ,M\}\).
Denoting \(h_M(t)=h(t_{m,M})\) for \(t\in ]t_{m-1,M},t_{m,M}]\) and \(m\in \{1,\ldots ,M\}\), the triple \( ({\theta }_M ,\phi _M,{Z}_M )\) solve
5.1 Proof of Theorem 2
Here, \( {\phi }_M \) solves
for \(w\in V\) and a.e. in ]0, T[.
We begin by establishing the uniform estimates to \( {\theta }_M \) and \( {\phi }_M \).
Proposition 8
Let \({\theta }_M \) and \( {\phi }_M \) be the (piecewise constant in time) functions defined in (55) and (56). Then the following estimate holds:
Proof
Let \(m\in \{1,\ldots ,M\}\) be arbitrary. Choosing \(v=\theta ^m\in V_{\ell }(\varOmega )\) and \(w=\phi ^m \in V\) as test functions in (29) and (30), we sum the obtained relations, and arguing as in (43) and (44), we have
with \(\mathcal {R}\) being the increasing continuous function defined in (39). By (35), we have
Therefore, summing over \(i=1,\ldots , m\) into (61), multiplying by \(\tau \), and inserting the previous inequality, we obtain
Therefore, we find the uniform estimate (60) by taking the maximum over \(m\in \{1,\ldots ,M\}\) in the previous estimate and applying Lemma 1 provided by (23).
A direct application of Proposition 8 ensures the following proposition.
Proposition 9
There exist \(\theta ,\phi : Q_T\rightarrow \mathbb {R}\) and subsequences of \((\theta _M,\phi _M)\), still labelled by \((\theta _M,\phi _M)\), such that
as M tends to infinity. Moreover, there exists \(Z: Q_T\rightarrow \mathbb {R}\) such that
as M tends to infinity.
Proof
Considering the uniform estimates to \( {\theta }_M \) and \( {\phi }_M \) that are established in Proposition 8, we extract subsequences, still denoted by \( {\theta }_M \) and \( {\phi }_M \), weakly convergent in \( V_\ell (Q_T )\) and \( L^2(0,T;V)\), respectively, to \(\theta \) and \(\phi \).
Let \(p=\max \{\ell ,2\}=\ell \). Note that \(L^p(0,T;V_\ell (\varOmega ))\hookrightarrow V_\ell (Q_T)\). By definition of norm, we find
with \(C>0\) being a constant independent on M, by estimating in (54) the term involving \(Z^m\) by means of the rest terms using the uniform estimates established in (62). Hence, we can extract a subsequence, still denoted by \(\partial _t\widetilde{B}(\theta _M)\), weakly convergent to Z in \(L^{p' }(0,T;(V_\ell (\varOmega ))')\).
In the following proposition, we state the strong convergence of \(B(\theta _M)\) and of \(\theta _M\).
Proposition 10
Under (9)–(12) and (21)–(22), the solution \(\theta ^m\) of (54) satisfies
with C being a positive constant. Moreover, for a subsequence, there hold
as M tends to infinity.
Proof
Let \(k\in \mathbb {N}\). Let us sum up (54) for \(m=j+1,\ldots ,j+k\) and multiply by \(\tau \), obtaining
where
Here, we used the Hölder inequality and the definition of \( \theta _M\) and of \(\phi _M\).
Let us compute \(\mathcal {I }_\varGamma ^j \) and \(\mathcal {I}_\varOmega ^j\) by applying the estimate (60). Using the Assumption (12) and after the Hölder inequality, we deduce
Using the Assumptions (9), (21) and (22), and after the Hölder inequality, we deduce
Hence, we find
In particular, the estimate (65) follows by taking \(j=m-1\), \(k=1\) and \(v=\theta ^{m }-\theta ^{m-1 }\), and applying Lemma 1.
To prove the convergences, we will apply Lemma 2. Considering the weak convergence of \(\theta _M\) established in Proposition 9 and the estimate (60), in order to apply Lemma 2 it remains to prove that the condition (36) is fulfilled.
Let \(0<z<T\) be arbitrary. Since the objective is to find convergences, it suffices to take \(M>T/z\), which means \(\tau <z\). Thus, there exists \(k\in \mathbb {N}\) such that \(k\tau <z\le (k+1)\tau \). Moreover, we may choose \(M>k+1\) deducing
Taking \(v=\theta ^{j+k }-\theta ^j\) in (70) and then summing up for \(j=1,\ldots , M-k\), we find
Arguing as in (68) and (69), we conclude
Thus, all hypothesis of Lemma 2 are fulfilled. Therefore, Lemma 2 assures that \(B(\theta _M)\) strongly converges to \(B(\theta )\) in \(L^1(Q_T)\). Consequently, up to a subsequence, \(B(\theta _M)\) converges to \(B(\theta )\) a.e. in \(Q_T\). Since B is strictly monotone, \(\theta _M\) converges to \(\theta \) a.e. in \(Q_T\) (see, for instance, [19]).
Now we are able to identify the limit Z.
Proposition 11
The limit Z satisfies
Proof
For a fixed t, there exists \(m\in \{1,\ldots ,M\}\) such that \(t\in ]t_{m-1,M},t_{m,M}]\). From Definition 57 we have
in \(\varOmega \). By the Riesz theorem, the above bounded linear functional is (uniquely) representable by the element \(\widetilde{B}(\theta _M(t)) - B(\theta ^{0}) \) from \(L^2(\varOmega ).\) Using the corresponding definitions we compute
Applying (65) and Proposition 8 we have
and consequently \(\widetilde{B}(\theta _M)\) converges to \( B(\theta ) \) in \( L^1(Q_T)\), considering (66). By the uniqueness of limit, we deduce
which concludes the proof.
We emphasize that the above convergences are sufficient to identify the limit \(\phi \) as stated in the following proposition, but they are not sufficient to identify the temperature \(\theta \) as a solution, because on the one hand the apparent nonlinearity of the coefficients destroy the weak convergence, on the other hand, the weak-weak convergence does not imply weak convergence.
Corollary 1
Let \((\theta ,\phi )\) be in accordance with Propositions 9 and 10, then they verify (25).
Proof
Let \((\theta _M,\phi _M)\) solve (58), (59). Applying Propositions 9 and 10, and the Krasnoselski theorem to the Nemytskii operators \(\sigma \) and \(\alpha _\mathrm {S}\), we have
Thus, we may pass to the limit in (59) as M tends to infinity, concluding that \((\theta ,\phi )\) verifies (25).
5.2 Proof of Theorem 3
This proof follows mutatis mutandis the structure of the proof of Theorem 2 (cf. Sects. 5.1). We only sketch its main steps.
-
1.
The uniform estimates to \( {\theta }_M \) and \( {\phi }_M \) are as follows. The quantitative estimate (60) reads
$$\begin{aligned}&\max _{1\le m\le M} \int _\varOmega \varPsi ( \theta ^m )\mathrm {dx}+ L_\# \Vert \nabla \theta _M\Vert _{2,Q_T} ^2 +\frac{\gamma _\#}{\ell '} \Vert \theta _M\Vert _{\ell ,\varSigma _T } ^\ell \nonumber \\&\quad \le b^\# \Vert \theta ^0\Vert _{2,\varOmega } ^2 + \frac{1}{\ell '\gamma _{\#}^{1/(\ell -1)} } \Vert h \Vert _{\ell ',\varSigma _T }^{\ell '} + T \frac{K_2^2(P_2+1)^2}{2 (L_{2})_\#} \Vert g\Vert _{2,\varGamma _\mathrm {N}}^2 , \end{aligned}$$by using the argument to estimate (52). Namely, (61) reads
$$\begin{aligned}&\frac{1}{\tau } \int _\varOmega (B(\theta ^m)-B(\theta ^{m-1}) )\theta ^m\mathrm {dx} + L_\# \Vert \nabla \theta ^{m} \Vert _{2,\varOmega }^2 + \int _\varGamma \gamma (\theta ^{m})|\theta ^{m}|^{\ell } \mathrm {ds} \\&\quad \le \mathcal {R}(0, \Vert h(t_{m,M}) \Vert _{\ell ',\varGamma }^{\ell '} ) +\frac{1}{\ell } \int _\varGamma \gamma (\theta ^{m})|\theta ^{m}|^{\ell } \mathrm {ds}, \end{aligned}$$where \(\mathcal {R}\) is the increasing continuous function defined in (39), with \((L_2)_\#=a_\#\sigma _\#/ (2 (F^\#)^{2}\sigma ^\#)\). In addition, summing the quantitative estimate
$$\begin{aligned} \sqrt{\sigma _\#} \Vert \nabla \phi ^{m} \Vert _{2,\varOmega } \le \sqrt{\sigma _\#}\alpha ^\# \Vert \nabla \theta ^{m-1} \Vert _{2,\varOmega }+ \frac{K_2(P_2+1)}{ \sqrt{\sigma _\#} } \Vert g\Vert _{2,\varGamma _\mathrm {N}}, \end{aligned}$$it results in
$$\begin{aligned} \Vert \nabla \phi _M\Vert _{2,Q_T} \le \alpha ^\# \Vert \nabla \theta _M \Vert _{2,Q_T}+ T \frac{K_2(P_2+1)}{ \sigma _\#} \Vert g\Vert _{2,\varGamma _\mathrm {N}} . \end{aligned}$$ -
2.
For subsequences of \( {\theta }_M \) and \( {\phi }_M \), the weak convergences hold according to Propositions 9 and 10, which guarantee the required result.
6 Existence of solutions to the TE problem
The objective is the passage to the limit in the abstract boundary value problems introduced in Sect. 3 as the time step goes to zero (\(M\rightarrow +\infty \)), with the coefficients being defined by
where \(T_\mathcal {M}\) is the \(\mathcal {M}\)-truncation function defined by \(T_\mathcal {M}(z)= \max (-\mathcal {M},\min (\mathcal {M},z))\). By the definition of truncated functions, we choose
taking (13) into account. Under these choices, the assumptions (14), (15) and (16) imply (27), (28) and (31), respectively.
Let us foccus the present proof in accordance with the approximated solutions that are established in Theorem 2. Analogous argument is valid for the approximated solutions that are established in Theorem 3.
Let us redefine the electrical current density as
Analogously for \(\mathbf {j}_M= \mathbf {j}(\theta _M ,\phi _M)\) or simply \(\mathbf {j}_M\) and \(\mathbf {j}\) whenever the meaning is not ambiguous.
Let \( (\theta _M, {\phi }_M )\) solve (58), (59), which may be rewritten as
for every \(v\in V_{\ell }(Q_T)\) and \(w\in V\). There exist \(\theta ,\phi : Q_T\rightarrow \mathbb {R}\) and subsequences of \((\theta _M,\phi _M)\), still labelled by \((\theta _M,\phi _M)\), weakly convergent in accordance with Proposition 9. By Corollary 1, the pair \((\theta ,\phi )\) verifies the electric equality
for every \(w\in V\).
We emphasize that the weak convergence of \(\mathbf {j}_M\) to \( \mathbf {j}\) in \( \mathbf {L}^2(Q_T)\), taking (71) and (72) into account, is not sufficient to pass to the limit the term \(\phi _M \mathbf {j}( \theta _M , \phi _M ) \). Moreover, the non smoothness of the coefficients destroy the possibility of obtaining strong convergences of \(\nabla \theta _M\) and of \(\phi _M\).
Thanks to Proposition 10, we have a.e. pointwise convergence for a subsequence of \(\theta _M\), which we still denote by \(\theta _M\). Considering the assumptions (8)–(11), the Nemytskii operators are continuous due to the Krasnoselski theorem, and applying the Lebesgue dominated convergence theorem, we obtain
Applying (60) to the following estimates
there exist \(\varLambda _1 , \varLambda _2 \in \mathbf {L}^2(Q_T)\) and \(\varLambda _3\in L^{\ell '}(\varSigma _T ) \) such that
Thus, we may pass to the limit in (73) as M tends to infinity, concluding that \((\theta ,\phi )\) verifies
To identify the temperature \(\theta \) as a solution, we need to identify \(\varLambda _1 , \varLambda _2 \in \mathbf {L}^2(Q_T)\) and \(\varLambda _3\in L^{\ell '}(\varSigma _T ) \).
To prove that \(\varLambda _1= T_\mathcal {M}( \phi )\nabla \theta \), let us consider the Green formula
for every \(\mathbf {v}\in \mathbf {L}^p(0,T; \mathbf {W}^{1,p}(\varOmega ))\) such that \(\nabla \cdot \mathbf {v}=0\) in \(Q_T\) and \(\mathbf {v}\cdot \mathbf {n}=0\) in \(\partial \varOmega \times ]0,T [\). Next we choose the exponent \(p>1\) to ensure the meaning of the involved terms. By \(\theta _M\in L^\infty (0,T; L^2(\varOmega ))\cap L^2(0,T; H^1(\varOmega ))\) and \( H^1(\varOmega )\hookrightarrow L^{2^*}(\varOmega )\) with \(2^*\) being the critical Sobolev exponent, i.e. \(2^*=2n/(n-2)\) if \(n>2\) and any \(2^*>1\) if \(n=2\), making recourse to the interpolation with exponents being
then \(\theta _M\) converges to \(\theta \) in \(L^q(Q_T)\) for every \(q<2(n+2)/n\). In particular, we take \(p>n+2\) such that
Consequently, we have that \(\theta _M\mathbf {v}\) converges to \(\theta \mathbf {v}\) in \(\mathbf {L}^2 (Q_T)\). Therefore, the uniqueness of the weak limit implies that \(\varLambda _1= T_\mathcal {M}( \phi )\nabla \theta \). In particular, we find
and consequently (76) reads
Now, we are in the conditions to identify the limits \(\varLambda _2\) and \(\varLambda _3\) by making recourse to the Minty argument as follows. We rephrase (48) as
where
Considering the convergences
we deduce
We continue the Minty argument by taking in (73) and (74), respectively, the test function \(v=\theta _M\) and the test function \(w=\phi _M\), in (77) the test function \(v=\theta \), and in (75) the test function \(w=\phi \), we deduce
Gathering the above two relations, we find
Next, taking \(v=\theta -\delta \varphi \), with \(\varphi \in \mathcal {D}(Q_T)\), and after dividing by \(\delta >0\), we arrive to
Finally letting \(\delta \rightarrow 0^+\) then we obtain \(\varLambda _2 =\sigma (\theta )T_\mathcal {M}(\phi )\nabla \phi \).
We conclude the Minty argument by taking \(v=\theta -\delta \varphi \), with \(\varphi \in \mathcal {D}(\varSigma _T)\), in (78). After dividing by \(\delta >0\), and finally letting \(\delta \rightarrow 0^+\) we arrive to
which implies that \(\varLambda _3 =\gamma (\theta )|\theta |^{\ell -2}\theta \).
Therefore, the weak formulation (5) yields concluding the proof of Theorem 1.
References
Alt, H.W., Luckhaus, S.: Quasilinear elliptic-parabolic differential equations. Math. Z. 183, 311–341 (1983)
Banard, R.D.: Thermoelectricity in Metals and Alloys. Taylor and Francis Ltd., London (1972)
Benilan, P., Wittbold, P.: On mild and weak solutions of elliptic-parabolic problems. Adv. Differ. Equ. 1, 1053–1073 (1996)
Biler, P.: Existence and asymptotics of solutions for a parabolic-elliptic system with nonlinear no-flux boundary conditions. Nonlinear Anal. 19(12), 1121–1136 (1992)
Caffarelli, L.A., Stefanelli, U.: A counterexample to \(C^{2,1}\) regularity for parabolic fully nonlinear equations. Commun. Partial Differ. Equ. 33(7), 1216–1234 (2008)
Cheung, C.-Y., Menictas, C., Bao, J., Skyllas-Kazacos, M., Welch, B.J.: Spatial temperature profiles in an aluminum reduction cell under different anode current distributions. AIChE J. 59(5), 1544–1556 (2013)
Cimatti, G.: Invariance of flows in doubly-connected domains with the same modulus. Bollettino dell’Unione Matematica Italiana 7(3), 217–226 (2014)
Colli, P., Scarpa, L.: Existence of solutions for a model of microwave heating. Discrete Contin. Dyn. Syst. 36(6), 3011–3034 (2016)
Consiglieri, L.: Radiative effects for some bidimensional thermoelectric problems. Adv. Nonlinear Anal. 5(4), 347–366 (2016)
Consiglieri, L.: Quantitative Estimates on Boundary Value Problems. Smallness Conditions to Thermoelectric and Thermoelectrochemical Problems. LAP LAMBERT Academic Publishing, Saarbrücken (2017)
Disser, K., Kaiser, H.-C., Rehberg, J.: Optimal Sobolev regularity for linear second-order divergence elliptic operators occurring in real-world problems. SIAM J. Math. Anal. 47(3), 1719–1746 (2015)
Haller-Dintelmann, R., Jonsson, A., Knees, D., Rehberg, J.: Elliptic and parabolic regularity for second-order divergence operators with mixed boundary conditions. Math. Methods Appl. Sci. 39(17), 5007–5026 (2016)
Huang, M.-J., Yen, R.-H., Wang, A.-B.: The influence of the Thomson effect on the performance of a thermoelectric cooler. Int. J. Heat Mass Transf. 48, 413–418 (2005)
Igbida, J., El Hachimi, A., Jamea, A., Asmaa, A.: Doubly non-linear elliptic-parabolic equations by Rothe’s method. Br. J. Math. Comput. Sci. 4(22), 3224–3235 (2014)
Ivanov, A.V.: Second-order quasilinear degenerate and nonuniformly elliptic and parabolic equations. Proc. Steklov Inst. Math. 160, 1–288 (1984)
Jäger, W., Kačur, J.: Solution of doubly nonlinear and degenerate parabolic problems by relaxation schemes. RAIRO-Modélisation mathématique et analyse numérique 29(5), 605–627 (1995)
Kačur, J.: Solution to strongly nonlinear parabolic problems by a linear approximation scheme. IMA J. Numer. Anal. 19, 119–145 (1999)
Leray, J., Lions, J.L.: Quelques résultats de Višik sur les problèmes elliptiques non linéaires par les méthodes de Minty–Browder. Bull. Soc. Math. Fr. 93, 97–107 (1965)
Lions, J.L.: Quelques méthodes de résolution des problèmes aux limites non linéaires. Dunod et Gauthier-Villars, Paris (1969)
MacDonald, D.K.C.: Thermoelectricity: An Introduction to the Principles. Wiley, New York (1962)
Mikula, K.: Numerical solution of nonlinear diffusion with finite extinction phenomenon. Acta Math. Univ. Comen. 64(2), 173–184 (1995)
jr Morrey, C.B.: Second order elliptic equations in several variables and Hölder continuity. Math. Z. 72, 146–164 (1959)
Pluschke, V., Weber, F.: The local solution of a parabolic-elliptic equation with a nonlinear Neumann boundary condition. Comment. Math. Univ. Carolin. 40(1), 13–38 (1999)
Rektorys, K.: The Method of Discretization in Time and Partial Differential Equations. D. Reidel, Dordrecht (1982)
Stampacchia, G.: Problemi al contorno ellipttici con datti discontinui dotati di soluzioni hölderiane. Ann. Math. Pura Appl. 51, 1–32 (1960)
Yuan, G.-W., Hang, X.-D.: Acceleration methods of nonlinear iteration for nonlinear parabolic equations. J. Comput. Math. 24(3), 412–424 (2006)
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The author states that there is no conflict of interest.
Additional information
Dedicated to my colleague and friend Eduardo Corregedor Borges Pires.
Rights and permissions
About this article
Cite this article
Consiglieri, L. Weak solutions for a thermoelectric problem with power-type boundary effects. Boll Unione Mat Ital 11, 595–619 (2018). https://doi.org/10.1007/s40574-018-0159-z
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40574-018-0159-z