In this brief communication we present a new integral transform, so far unknown, which is applicable, for instance, to studying the kinetic theory of natural eigenmodes or transport excited in plasmas with bounded distribution functions such as in Q machines/plasma diodes or in the scrap-off layer of Tokamak fusion plasmas. The results are valid for functions of function spaces—Lebesgue spaces, which are defined using a natural generalization of the p-norm for finite-dimensional vector spaces, where is the real set, σs is the σ-algebra of Lebesgue measurable sets, and the μ Lebesgue measure. , so that . Note that, using a simpler notation, more natural/known to engineers, f could be considered any piecewise continuous function, that is: Here is a Euclidian space with the usual norm (inner product: ) given by: .

Integral Transform Lebesgue Measures Kinetic Theory of Bounded Plasmas Natural Eigenmodes Transport Q-Machines Plasma Diodes Tokamak Nuclear Fusion
1. Prolegomenon

The mathematics that has hatched the novel operator presented in this paper is connected to the integral equation that arises from the technique to obtain eigenmodes of bounded plasmas, with the caveat of one-dimensional geometry and no particles collision, that is collisionless plasma, however coupled to an external electric circuit via the electrodes, a model which is very useful to describe the external control of plasma dynamics. In order to get the mathematics and hence the operator under consideration, an integral-equation method was developed for solving a general linearized perturbation problem for an one-di- mensional, uniform and collisionless plasma with thin sheaths, bounded by two planar electrodes      . The operator is the result of a natural combination of the basic equations involved in this technique. The underlying system of integral equations related to this physical system consists of (1) the collisionless Vlasov plasma kinetic equations for all particles species involved (electrons and/or ions), (2) Poisson’s equation, (3) the equation of total current conservation, (4) the particles (distribution-function) boundary conditions at the left- and right?hand electrodes, fed by the plasma and the external-current system, and (5) the external circuit condition.

The method allows for very general equilibrium, boundary, and external circuit conditions. Using Laplace’s transformation in both time and space, it is set up to handle the complete linearized initial-value problem and also yields the solution to the eigenmode problem as a by-product, using the Nyquist technique in this case which is a very useful method to access the zeros of a complex function f ( ω ) , considering f ( ω ) as a mapping of the complex ω plane. For instance, this method is also applicable to studying the Pierce diode with non-trivial external circuit dynamics, and it is also useful to studying the important problem of plasma-wall interactions in Tokamaks, which can induce undesirable plasma cooling leading in many cases to termination of the Tokamak discharge and, hence of nuclear-fusion reactions. This problem is of paramount importance for present-day fusions machines such as JET―Joint European Torus and future ones, such as ITER and DEMO.

Genesis of the AK Transform

Here, to obtain the AK transform, it is sufficient to use the results of the special case of longitudinal oscillations in the negatively biased single-ended Q machine.

As already mentioned, the mathematical operator under consideration, takes shape just when we combine the Laplace-transformed integral-equation system for the perturbed plasma system variables―electric field, electric current, distribution functions.

After combining the basic equations, the Laplace component of the perturbed electric-field solution of the posed problem can be written as

E ( x , ω ) = B o p − 1 [ x , [ x ′ ] , ω ] { k 5 ( [ x , ] , ω ) j e ( [ x , ] , ω ) } + { k 8 ( [ x , ] , ω ) }

with B o p [ x , [ x ′ ] , ω ] an operator acting on x ′ and defined as

B o p [ x , [ x ′ ] , ω ] { E } = { I o p [ x , [ x ′ ] ] + J o p [ x , [ x ′ ] , ω ] } E ( x , ω )

where I o p is the identity integral operator (Dirac delta) and J o p , k 5 , k 8 , j e , a, L, D, and all the remaining terms are defined in references      and need not be displayed/redefined here. Note that L and D are related to the physical dimension of the plasma machine and J o p is a complicated operator defined in      , which, however, after some algebra assumes a simple form, so that we can write

B o p [ x , [ x ′ ] , ω ] { ⋅ } = [ I o p { ⋅ } + a ( x , ω ) ∫ 0 L { ⋅ } sin ( L − y D ) d y ]

where a ( x , ω ) is a function that depends on the physical problem under consideration (type of machine and external circuit and type of plasma geometry and physical properties).

We can write the operator B o p ( x , ω , y ) (where y , the dummy variable-in- tegration variable, is in place of the original integration variable [ x ′ ] ) in a “more mathematical” way, replacing the real plasma physical system operator for the operator seed of the AK transform, and also replacing, later, the electric field by an arbitrary more mathematical function f, thus

A K ( E ) = E ( x , ω ) + a ( x , ω ) ∫ 0 L E ( y , ω ) sin ( L − y D ) d y ≡ F ( x , ω , L , D )

In order to proceed, we work a bit further the concept of L? space, which will be useful to where we intend to move:

The space L p [ 0 , L ] is also called the space of p th ―power integrable functions, where 0 < p < + ∞ , ∫ ​ ‖ f ‖ p d μ < + ∞ , μ the Lebesgue measure.

We consider here, however, a much simpler way to start with our conjecture. Let us then assume that f is a piecewise continuous function Euclidian space P C [ 0 , L ] , where L is a real number. Of course, the conjecture is also valid for a more formal space as L p [ ℝ , σ S , μ ] .

Therefore, we finally define our novel transform, namely the AK transform, as below, where here we have replaced, as mentioned above, the electric field with an arbitrary function f ( x ) . Note that we leave ω out of this notation just for the sake of simplicity as AK operates only in functions from spaces defined by the domain of the variable x . The result of the operation of the transform AK on f is given by

A K ( f ) = f ( x ) + a ( x ) ∫ 0 L f ( y ) sin ( L − y D ) d y ≡ F ( x , L , D ) (1)

A K ( f ) ≡ ( I + S ) ( f ) ≡ F ( f ( x ) , a ( x ) , L , D ) ,

where I is the identity operator and

S ( f ) = a ( x ) ∫ 0 L f ( y ) sin ( L − y D ) d y = C ( L , D ) a ( x ) .

In this way, we can write the operator AK as

A K ≡ ( I + S ) .

where the integral operator S is given by

S ( * ) = a ( ( x ) ∫ 0 L ( * ) sin ( L − y D ) d y .

Here a ( x ) is a given/known continuous function or piecewise continuous function, at least, and L and D are free given/known positive real parameters.

We can also write

S ( f ) ≡ ( A K − I ) ( f ) = a ( x ) C ( L , D ) ,

A K ( f ) = f ( x ) + a ( x ) C ( L , D ) .

We can show that AK is invertible, it is linear, it is injective, and it is limited.

The inversion can be shown as below:

A K − 1 ( F ) ≡ ( I − S 1 + A ( L , D ) ) ( F ) = f ( x ) ,

in a way that A K − 1 A K ≡ A K − 1 A K ≡ I , where I is the identity operator and S ≡ ( A K − I ) , L, D are positive real numbers, f is a continuous or piecewise continuous function and a ( x ) is a prescribed/given continuous or piecewise continuous function as well.

2. Inversion

Applying now AK to Equation (1) from the left-handside we have

A K A K ( f ) ≡ A K ( f ( x ) ) + A K ( a ( x ) ∫ 0 L f ( y ) sin ( L − y D ) d y )                               ≡ A K ( F ( x , L , D ) )

A K A K ( f ) = A K ( f ( x ) ) + C ( L , D ) ) A K ( a ( x ) ) = F ( x , L , D ) + C ( L , D ) A K ( a ( x ) )

Thus,

A K A K ( f ) = f ( x ) + ( 2 + A ( L , D ) ) C ( L , D ) a ( x ) (2)

where,

A ( L , D ) = ∫ 0 L a ( y ) sin ( L − y D ) d y .

Applying now A K − 1 from the left-hand side on both Equations (1) and (2), we, therefore, find again the original function f ( x ) ,

f ( x ) = A K − 1 ( f ) + C ( L , D ) A K − 1 ( a ( x ) ) (1’)

and,

A K ( f ) ≡ A K − 1 ( f ) + ( 2 + A ( L , D ) ) C ( L , D ) A K − 1 ( a ( x ) ) = F ( x , L , D ) (2’)

We then have a system of two equations for

A K − 1 ( f ) and C ( L , D ) A K − 1 ( a ( x ) ) .

This implies that, from (1’),

A K − 1 ( f ) = f ( x ) − C ( L , D ) A K − 1 ( a ( x ) ) ,

and from (2’),

A K − 1 ( f ) = A K ( f ( x ) ) − ( 2 + A ( L , D ) ) C ( L , D ) A K − 1 ( a ( x ) ) .

Therefore,

A K − 1 ( f ) = f ( x ) − C ( L , D ) A K − 1 ( a ( x ) ) = A K ( f ) − ( 2 + A ( ( L , D ) ) C ( L , D ) A K − 1 ( a ( x ) ) = F ( x , L , D ) − ( 2 + A ( L , D ) ) C ( L , D ) A K − 1 ( a ( x ) ) .

Thus,

C ( L , D ) A K − 1 ( a ( x ) ) = ( A K − I ) ( 1 + A ( L , D ) ) ( f ( x ) ) ≡ S ( 1 + A ( L , D ) ) ( f ( x ) ) = F ( x , L , D ) − f ( x ) ( 1 + A ( L , D ) ) .

In conclusion,

A K − 1 ( f ) = f ( x ) − C ( L , D ) A K − 1 ( a ( x ) ) = f ( x ) − S ( 1 + A ( L , D ) ) ( f ) = ( I − S ( 1 + A ( L , D ) ) ) ( f )

A K − 1 ( f ) = f ( x ) − C ( L , D ) A K − 1 ( a ( x ) ) = f ( x ) − S ( 1 + A ( L , D ) ) ( f ) = ( I − S ( 1 + A ( L , D ) ) ) ( f ) = f ( x ) + F ( x , L , D ) − f ( x ) ( 1 + A ( L , D ) ) = ( 1 − 1 ( 1 + A ( L , D ) ) ) f ( x ) + F ( x , L , D ) ( 1 + A ( L , D ) )

and so

A K − 1 ( f ) = ( I − S ( 1 + A ( L , D ) ) ) ( f ) ,

A K − 1 ≡ ( I − S 1 + A ( L , D ) ) ,

A K − 1 ≡ ( I − S 1 + A ( L , D ) ) .

Therefore,

A K − 1 ( F ) ≡ ( I − S 1 + A ( L , D ) ) ( F ) = f ( x )

In fact,

A K A K − 1 ( f ) = A K ( I − S ( 1 + A ( L , D ) ) ) ( f )

But,

A K ≡ ( I + S ) .

Thus,

A K A K − 1 ( f ) = A K ( I − S ( 1 + A ( L , D ) ) ) ( f ) = ( I + S ) ( I − S ( 1 + A ( L , D ) ) ) ( f ) = ( I + S ) ( f ( x ) − a ( x ) C ( L , D ) 1 + A ( L , D ) ) = f ( x ) − a ( x ) C ( L , D ) 1 + A ( L , D ) + S ( f ) − C ( L , D ) S ( a ( x ) ) 1 + A ( L , D ) = f ( x )

So, indeed,

A K A K − 1 ( f ) = f ( x )

Now consider,

A K − 1 A K ( f ) ≡ A K − 1 ( F ) ≡ A K − 1 ( f ) + C ( L , D ) A K − 1 ( a ( x ) )

But,

C ( L , D ) A K − 1 ( a ( x ) ) = S ( 1 + A ( L , D ) ) ( f ( x ) )

and

A K − 1 ( f ) = f ( x ) − S ( 1 + A ( L , D ) ) ( f )

Thus,

A K − 1 A K ( f ) = A K − 1 ( f ) + C ( L , D ) A K − 1 ( a ( x ) ) = f ( x ) − S ( 1 + A ( L , D ) ) ( f ) + S ( 1 + A ( L , D ) ) ( f ) = f ( x )

We have then,

A K − 1 A K ( f ) ≡ A K − 1 ( F ) = f ( x ) .

Therefore, we have completed the two ways inversion.

The AK’s transform can be extended to square integrable functions, that is:

A K ( f ) = f ( x ) + a ( x ) ∫ − ∞ ∞ f ( y ) exp ( ± j ω ( L − y D ) ) d y = F ( x , D )

Moving further, we will show that:

3. Properties

Moving further, we will show some fundamental properties of AK.

3.1. Linearity

In fact, consider A K : L p ( 0 , L ) → L p ( 0 , L ) , so that f → A K ( f ) where

( A K f ) ( x ) = f ( x ) + a ( x ) ∫ 0 L f ( y ) sin ( L − y D ) d y

Thus,

A K ( α f + μ g ) ( x ) = ( α f + μ g ) ( x ) + a ( x ) ∫ 0 L ( α f + μ g ) ( y ) sin ( L − y D ) d y

A K ( α f + μ g ) ( x ) = α ( f ( x ) + ∫ 0 L f ( y ) sin ( L − y D ) d y ) + μ ( g ( x ) + ∫ 0 L g ( y ) sin ( L − y D ) d y )

3.2. AK Is Injective

Since AK is linear, we have only to show that A K ( f ) = 0 ⇒ f = 0 .

Indeed,

A K ( f ) = 0 = f ( x ) + a ( x ) ∫ 0 L f ( y ) sin ( L − y D ) d y

‖ f ( x ) ‖ = ‖ a ( x ) ‖ ⌈ ∫ 0 L f ( y ) sin ( L − y D ) d y ⌉

Thus,

‖ f ( x ) ‖ ≤ ‖ a ( x ) ‖ ∫ 0 L ‖ f ( y ) sin ( L − y D ) d y ‖

‖ f ( x ) ‖ ≤ ‖ a ( x ) ‖ ∫ 0 L ‖ f ( y ) ‖ d y

if we assume p = 1 (i.e. city block distance/Manhattan distance).

If we use now the inequality [ 1 − ∫ 0 L ‖ a ( x ) ‖ d x ] ∫ 0 L ‖ f ( x ) ‖ d x ≤ 0 , (note that we are free to choose this ansatz, since we can specific a ( x ) in a way that ∫ 0 L ‖ a ( x ) ‖ d x < 1 . ) we have [ 1 − ∫ 0 L ‖ a ( x ) ‖ d x ] > 0 , since ∫ 0 L ‖ a ( x ) ‖ d x < 1 .

Thus, we are forced to conclude that

∫ 0 L ‖ f ( x ) ‖ d x ≤ 0 ⇒ f = 0.

if p > 1.

Here we can also show that if

∫ 0 L 1 ‖ f ( y ) ‖ d y ≤ [ ∫ 0 L 1 q d y ] 1 q [ ∫ 0 L ‖ f ( y ) ‖ 1 p d y ] ≤ L p − 1 p ‖ f ‖ L p ( 0 , L )

1 p + 1 q = 1 ⇔ q = p p − 1

Also,

‖ f ‖ L p ( 0 , L ) ≤ ‖ a ‖ L p ( 0 , L ) < 1 ⇒ ‖ f ‖ L p ( 0 , L ) = 0 ⇒ f = 0 !

3.3. AK Is Limited

We show here that AK is limited (i.e. continuous).

Indeed,

‖ A K ( f ) ‖ L p ( 0 , L ) = ‖ f ( x ) + a ( x ) ∫ 0 L f ( y ) sin ( L − y D ) d y ‖ L p ( 0 , L ) ≤ ‖ f ‖ L p ( 0 , L ) + ‖ a ‖ L p ( 0 , L ) ‖ ∫ 0 L f ( y ) sin ( L − y D ) d y ‖ ≤ ‖ f ‖ L p ( 0 , L ) + ‖ a ‖ L p ( 0 , L ) ∫ 0 L ‖ f ( y ) ‖ d y ≤ ‖ f ‖ L p ( 0 , L ) + ‖ a ‖ L p ( 0 , L ) L p − 1 p ‖ f ‖ L p ( 0 , L ) ≤ ( 1 + ‖ a ‖ L p ( 0 , L ) L p − 1 p ) ‖ f ‖ L p ( 0 , L )

and so it is limited.

4. Conclusions

In short, a new integral operator AK has been created which is useful to studying kinetic theory for bounded plasmas, a subject of paramount importance for nuclear fusion applications (mainly to study plasma wall interactions), as well as all types of technological plasma applications.

From the mathematical point of view, much can still be done in studying this operator to fully understand its mathematical structure and applicability to solving problems involving, for instance, differential, integral, and integrodifferential equations.

Acknowledgements

ASA would like to thank the California State University (CSU Chico)―Depart- ment of Mathematics and Statistics (in special to Prof. Dr. Rick Ford) to host part of this research work.ASA would like to also thank CNEN for research support and Orlando Goncalves (DPD-CNEN) for useful discussions to improve the final manuscript.

Cite this paper

de Assis, A.S., Kuhn, S. and Limaco, J. (2017) The AK Transform. Applied Mathematics, 8, 145-153. https://doi.org/10.4236/am.2017.82012

ReferencesRana, I.K. (2002) An Introduction to Measure and Integration, Second Edition, Graduate Studies in Mathematics, Volume 45, American Mathematical Society, Providence, Rhode Island, USA. https://doi.org/10.1090/gsm/045Santiago, M.A.M., de Assis, A.S., Kuhn, S. and Schupfer, N. (1994) Ion-Acoustic Eigenmodes in a Collisionless Bounded Plasma. Brazilian Journal of Physics, 24, 699-703.Kuhn, S. (1984) Linear Longitudinal Eigenmodes in Collisionless Plasma Diodes with Thin Sheaths. Part I. Method. Physics of Fluids, 27, 1821. https://doi.org/10.1063/1.864795Kuhn, S. (1984) Linear Longitudinal Eigenmodes in Collisionless Plasma Diodes with Thin Sheaths. Part II. Application to an Extended Pierce—Type Problem. Physics of Fluids, 27, 1821. https://doi.org/10.1063/1.864796Schupfer, N., Kuhn, S., Santigo, M.A.M. and de Assis, A.S. (1991) External-Circuit Effects on Ion-Acoustic Eigenmodes in a Collisionless Bounded Plasma. 1991 International Workshop on Plasma Physics: Current Research on Fusion, Laboratory, and Astrophysical Plasmas, Pichl/Schladming, Austria, 28 February-2 March 1991, 131-136. Kuhn, S., Pedit, R., Rieser, H., Schupfer, N., Wertmann, H., Santigo, M.A.M. and de Assis, A.S. (1990) Some Lines of Research Currently Conducted by the Bounded Plasma Systems Group at Innsbruck University, International Workshop on Plasma Physics: Plasma Theoretical Problems in Astro- and Fusion Physics, Pichl/Schladm- ing, Austria, 1-3 March, 1990, 201-214.Kuhn, S., Schupfer, N., Santigo, M.A.M. and de Assis, A.S. (1990) Ion-Acoustic Eigenmodes in a Collisionless Bounded Plasma. 17th European Physical Society (EPS) Conference on Controlled Fusion and Plasma Heating, Amsterdam, 25-29 June 1990, 1786-1789.