Abstract
In this paper, we study the stationary boundary value problem derived from the magnetic (non) insulated regime on a plane diode. Our main goal is to prove the existence of non-negative solutions for that nonlinear singular system of second-order ordinary differential equations. To attain such a goal, we reduce the boundary value problem to a singular system of coupled nonlinear Fredholm integral equations, then we analyze its solvability through the existence of fixed points for the related operators. This system of integral equations is studied by means of Leray-Schauder’s topological degree theory.
Keywords:
relativistic Vlasov-Maxwell system; magnetic insulation; singular boundary value problem; Leray-Schauder degree theory MSC:
35Q83; 34A12; 34B15; 45B05; 45D05; 47H11
1. Motivation
High energy devices such as vacuum diodes are designed to work with extremely high applied voltages. The saturation of the current due to the self-consistent electric and magnetic field is a nonlinear phenomenon under electron transport. Langmuir and Compton [] started the investigation of this phenomenon and established explicit formulae for the saturation current in the plane and symmetric diode cases. They assumed that the current saturates at a maximal value determined by the condition that the electric field vanishes at the emission cathode. This condition is referred to as the Child-Langmuir condition and the diode is said to operate under a space charge limited or a Child-Langmuir regime.
Here two basic regimes are possible: the first one when electrons reach the anode—non-insulated diode—and the second one is when due to the extremely high electric and magnetic field applied, the electrons rotate back to the cathode, the so-called “insulated diode”. For the latter case, there is an electronic layer outside of which electromagnetic field is equal to zero (see Langmuir and Compton []).
The regime of “noninsulated diode” is described by the following nonlinear two-point coupled second order boundary value problem:
where is a constant (not depending on x), is the potential of electric field, a the potential of magnetic field and . To see the setting of the problem and the complete derivation of system (I), see e.g., [].
The existence of solutions for system (I) was studied by Abdallah et al. [] by a shooting method with and as shooting parameters. The strategy was: given the values of and , solve (I) with the Cauchy conditions , , , , and then adjust the values in order to fulfill the conditions and .
In this paper, we analyze the existence of (non-negative) solutions for the coupled second-order boundary value problem (I) by transforming this boundary value problem (BVP) into a coupled system of singular nonlinear Fredholm integral equation, then we investigate conditions to assure the non-negativity of the image functions resulting from the evaluating of these integral equations. Finally, the existence of such solutions is guarantee by using the classical Leray-Schauder topological degree theory.
We recall that some analytical and numerical aspects of Child-Langmuir’s regime were recently given by Abdallah et al. [] and Dulov and Sinitsyn []. In addition, we would like to point out that a number of interesting results in the theory and applications of functional group methods under the conditions of model symmetry and bifurcation of the desired solutions are presented in the works of Sidorov and Sinitsyn [,] and in the monograph []. The efficient iterative method for branching solutions construction based on explicit and implicit parametrizations is proposed by Sidorov []. The readers may refer to seminal manuscript [], where the generalized initial value problem, known as the Showalter-Sidorov problem, was introduced.
2. Non-Negative Solutions for Boundary Value Problem (I)
Now, we are interested in the existence of non-negative solutions for the boundary value problem derived from the noninsulated regime for a vacuum plane diode. After the substitutions , , boundary value problem (I) reads as:
By singular we mean that is allowed. First, we reduce this system of BVP’s to a coupled system of integral equations: By integrating by parts and using the boundary conditions for the second order BVP
we have:
hence, integrating one more time, we obtain:
Using the boundary condition , we get
Then, we reduce the second order boundary value problem to the following integral equation
where, is the characteristic function of the interval and
In the same fashion, we can reduce the second order BVP
to the integral equation
In this way, the existence of solutions for system (1) is equivalent to investigate the existence of solutions for the following coupled system of nonlinear singular Fredholm integral equations:
The equations are posed in the Banach space endowed with the norm . By we denote the product space, which is a Banach space under the norm , we define the operator by the formula
where, for each ,
Notice that for , the mappings and are well-defined if , so we require that
In particular, for all , but . Moreover, we have the following inequality.
Lemma 1.
Proof.
We should prove that , or . If we assume that , then by integrating the inequality above we have for any constant K, but from (3) we have
i.e., for any K, which is false. Take, for instance, . Similarly, if , by integrating we get for any and all . However, this is not necessarily true for constants . □
In the operator theory scheme, the existence of a solution for system (2) is equivalent to the existence of a fixed point for the operator on . Since we want to find solutions for system (1) representing physical meaning, we are interested in the existence of non-negative solutions for this system. Thus, we will assume that the boundary conditions satisfy that and .
Let P be the cone of all non-negative functions on X. i.e.,
Our fist step is to find conditions such that . That is, conditions under which, for each , the next inequalities are satisfied.
Equivalently, inequalities (5) and (6) are satisfied, for all , if the following inequalities hold (respectively):
Note that , for all . Thus, for any ,
From Hölder’s inequality, we have
On the other hand, inequality (4) implies
Hence, we obtain the following estimate:
Therefore, inequality (7), and so inequality (5), holds if
That is, inequality (5) holds for any satisfying
Now, we find conditions to guarantee that inequality (8) (consequently, inequality (6)) is satisfied.
Note that
Then, for all . These facts and estimate (9) give
In this way, inequality (8) holds, for all , if
i.e., for all satisfying,
Let us denote by the closed ball in X centered in 0 with radii , and stand for the closed ball in X centered in 0 with radii .
We just proved that:
Proposition 1.
The operator applies into .
Remark 1.
Notice that from the triangle inequality and estimate (9), we get that in ,
Hence, the operator satisfies
To show the existence of at least a fixed point for the operator on (which implies the existence of non-negative solutions for system (1)) we will use the well-known Leray-Schauder topological degree theory (see e.g., []). More precisely, we are going to compute , where is the compact perturbation of the identity given by . Here denotes the identity map on .
First, we should prove that is, in fact, completely continuous.
Proposition 2.
The operator is continuous and compact.
Proof.
Let . First, we are going to prove the continuity of the operator . To do that, we are going to prove that the mappings
are continuous. Let such that . We prove the continuity of . To prove the continuity of is similar. Since,
then, we conclude
uniformly on . Hence, is continuous.
To prove the equicontinuity of , let be a sequence in and . Then,
where
In all these cases, , as . Therefore,
Similarly, we have
Thus, from the Arzelá-Ascoli theorem, the operator is compact. □
The existence of at least one non-negative solution for the coupled singular system (1) is given in the next theorem.
Theorem 1.
BVP (1) has at least one non-negative solution , provide that
Proof.
Let be the compact perturbation of the identity . We are going to exhibit an admissible homotopy between and . Let the map given by
Notice that
We are going to show that H never assumes the value on the boundary of the set . In fact, for
For ,
If we have
Inequalities above imply
From Remark 1, we conclude
However, this contradicts (10), therefore . Finally, let . If , then
We have the following scalar equalities
which are equivalent to:
Again, Remark 1 gives us
implying that
and
which implies
The inequalities above contradict condition (10). So, H never assumes the value on . Hence, H is an admissible homotopy between and . Therefore,
This means that the equation has at least one solution on . □
Remark 2.
Note that condition (10) can be rewritten as
Author Contributions
All authors contributed equally to this work. All authors have read and agreed to the published version of the manuscript.
Funding
There are no additional funds received.
Acknowledgments
The authors are thankful to the referees for the very constructive comments and suggestions that led to an improvement of the paper.
Conflicts of Interest
There are no conflicts of interest to declare.
References
- Langmuir, I.; Compton, K.T. Electrical discharges in gases Part II. Fundamental phenomena in electrical discharges. Rev. Mod. Phys. 1931, 3, 191–257. [Google Scholar] [CrossRef]
- Abdallah, N.B.; Degond, P.; Mehats, F. Mathematical models of magnetic insulation. Phys. Plasmas 1998, 5, 1522–1534. [Google Scholar] [CrossRef]
- Dulov, E.V.; Sinitsyn, A.V. A numerical modelling of the limit problem for the magnetically noninsulated diode. Appl. Math. Comput. 2005, 162, 115–154. [Google Scholar] [CrossRef]
- Sidorov, N.A.; Sinitsyn, A.V. Analysis of bifurcation points and nontrivial branches of solutions to the stationary Vlasov–Maxwell system. Math. Notes 1997, 62, 223–243. [Google Scholar] [CrossRef]
- Sidorov, N.A.; Sinitsyn, A.V. On bifurcation points of the stationary Vlasov-Maxwell system with bifurcation direction. In ECMI Progress in Industrial Mathematics at ECMI 98 (European Consortium for Mathematics in Industry); Vieweg+Teubner Verlag: Stuttgart, Germany, 1999; pp. 295–302. [Google Scholar]
- Sidorov, N.; Sidorov, D.; Sinitsyn, A. Towards General Theory of Differential-Operator and Kinetic Models; Book Series: World Scientific Series on Nonlinear Science Series A; World Scientific: Singapore; London, UK, 2020; Volume 97. [Google Scholar]
- Sidorov, N.A. Explicit and implicit parametrizations in the construction of branching solutions by iterative methods. Sb. Math. 1995, 186, 297. [Google Scholar] [CrossRef]
- Sidorov, N.A. A class of degenerate differential equations with convergence. Math. Notes Acad. Sci. USSR 1984, 35, 300–305. [Google Scholar] [CrossRef]
- Deimling, K. Nonlinear Functional Analysis; Springer: Berlin/Heidelberg, Germany, 1985. [Google Scholar]
© 2020 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).