-
On existence of spatially regular strong solutions for a class of transport equations
Authors:
Jouko Tervo,
Petri Kokkonen
Abstract:
The paper considers existence of spatially regular solutions for a class of linear Boltzmann transport equations. The related transport problem is an (initial) inflow boundary value problem. This problem is characteristic with variable multiplicity, that is, the rank of the boundary matrix (here a scalar) is not constant on the boundary. It is known that for these types of (initial) boundary value…
▽ More
The paper considers existence of spatially regular solutions for a class of linear Boltzmann transport equations. The related transport problem is an (initial) inflow boundary value problem. This problem is characteristic with variable multiplicity, that is, the rank of the boundary matrix (here a scalar) is not constant on the boundary. It is known that for these types of (initial) boundary value problems the full higher order Sobolev regularity cannot generally be established. In this paper we present Sobolev regularity results for solutions of linear Boltzmann transport problems when the data belongs to appropriate anisotropic Sobolev spaces whose elements are zero on the inflow and characteristic parts of the boundary.
△ Less
Submitted 23 April, 2025;
originally announced April 2025.
-
On regularity of solutions for certain linear Boltzmann transport equations
Authors:
Jouko Tervo
Abstract:
The paper considers a class of linear Boltzmann transport equations which models a charged particle transport. The equation is an approximation of the original exact transport equation which involves hyper-singular integrals in their collision terms. Hyper-singular integrals can be approximated by partial differential operators together with partial integral operators which leads to an approximati…
▽ More
The paper considers a class of linear Boltzmann transport equations which models a charged particle transport. The equation is an approximation of the original exact transport equation which involves hyper-singular integrals in their collision terms. Hyper-singular integrals can be approximated by partial differential operators together with partial integral operators which leads to an approximation under consideration. This type of approximation is applied, for example in the dose calculation of radiation therapy. The related transport problem is a characteristic initial inflow boundary value problem. Regularity results of solutions are verified utilizing the scales of relevant anisotropic Sobolev spaces.
△ Less
Submitted 3 September, 2024; v1 submitted 16 February, 2021;
originally announced February 2021.
-
A system of transport equations and an inverse problem from radiation therapy
Authors:
Jouko Tervo
Abstract:
The paper considers existence results of solution for a linear coupled system of Boltzmann transport equations and related inverse problem. The system models the evolution of three species of particles, photons, electrons and positrons. Hyper-singularities of differential cross sections associated with charged particle transport cause that modelling contains the first order partial differential te…
▽ More
The paper considers existence results of solution for a linear coupled system of Boltzmann transport equations and related inverse problem. The system models the evolution of three species of particles, photons, electrons and positrons. Hyper-singularities of differential cross sections associated with charged particle transport cause that modelling contains the first order partial differential term with respect to energy and the second order partial differential term with respect to velocity angle. The overall system is a partial integro-differential equation. The model is intended especially for dose calculation in the forward problem of radiation therapy. Firstly we consider a single transport equation for charged particles. After that we verify under physically relevant assumptions that the coupled equation together with relevant initial and inflow boundary values has a unique solution in appropriate $L^2$-based spaces. The existence of solutions for the adjoint problem is verified as well. Moreover, we deal with the related inverse problem, a so called inverse radiation treatment planning problem. It is formulated as an optimal boundary control problem. Variational equations for an optimal control related to an appropriate differentiable strictly convex object function are verified. Its solution can be used as an initial point for an actual optimization which needs global optimization methods.
△ Less
Submitted 27 November, 2019;
originally announced November 2019.
-
On linear hypersingular Boltzmann transport equation and its variational formulation
Authors:
Jouko Tervo
Abstract:
For charged particle transport the linear Boltzmann transport equation (BTE) turns out to be a partial hyper-singular integro-differential operator. This is due to the fact that the related differential cross-sections $σ(x,ω',ω,E',E)$ may have hyper-singularities. In these cases the energy integral appearing in the collision terms must be interpreted as the Hadamard finite part integral leading to…
▽ More
For charged particle transport the linear Boltzmann transport equation (BTE) turns out to be a partial hyper-singular integro-differential operator. This is due to the fact that the related differential cross-sections $σ(x,ω',ω,E',E)$ may have hyper-singularities. In these cases the energy integral appearing in the collision terms must be interpreted as the Hadamard finite part integral leading to hyper-singular integral operators. The article considers a refined expression for the exact transport operator and related variational formulations of the inflow initial boundary value problem for one particle equation containing hyper-singularities. We find that the exact BTE contains the first-order partial derivatives with respect to energy combined by partial Hadamard (first-order) singular integral operators. In addition, it contains the second-order partial derivatives with respect to angle and some mixed terms. The analysis will be carried out only for the so called Møller-type interaction (scattering) which is a kind of prototype of hyper-singular interactions. The generalizations to other type of collisions, such as to Bremsstrahlung, go analogously. We also expose a weak form (the variational formulation) of the hyper-singular transport problem. Another variant variational formulation decreases the level of singularities in the integration (appearing in the due bilinear form) containing only singularities of order one that is, singularities like ${1\over{E'-E}}dE' dE$. The variational formulation is an essential step in order to show the existence of generalized solutions e.g. by Lions-Lax-Milgram Theorem based methods (proceedings for solution spaces and existence theory are omitted here). The corresponding approximative transport operator is deduced. It turns out to be a CSDA-Fokker-Planck type operator.
△ Less
Submitted 14 February, 2019; v1 submitted 29 August, 2018;
originally announced August 2018.
-
On Existence of $L^2$-solutions of Coupled Boltzmann Continuous Slowing Down Transport Equation System
Authors:
J. Tervo,
P. Kokkonen,
M. Frank,
M. Herty
Abstract:
The paper considers a coupled system of linear Boltzmann transport equations (BTE), and its Continuous Slowing Down Approximation (CSDA). This system can be used to model the relevant transport of particles used e.g. in dose calculation in radiation therapy. The evolution of charged particles (e.g. electrons and positrons) are in practice often modelled using the CSDA version of BTE because of the…
▽ More
The paper considers a coupled system of linear Boltzmann transport equations (BTE), and its Continuous Slowing Down Approximation (CSDA). This system can be used to model the relevant transport of particles used e.g. in dose calculation in radiation therapy. The evolution of charged particles (e.g. electrons and positrons) are in practice often modelled using the CSDA version of BTE because of the so-called forward peakedness of scattering events contributing to the particle fluencies (or particle densities), which causes severe problems in numerical methods. We shall find, after the preliminary treatments, that for some interactions CSDA-type modelling is actually necessary due to hyper-singularities in the differential cross-sections of certain interactions, that is, first or second order partial derivatives with respect to energy and angle must be included into the transport part of charged particles. The existence and uniqueness of (weak) solutions is shown, under sufficient criteria and in appropriate $L^2$-based spaces, for a single (particle) CSDA-equation by using three techniques, the Lions-Lax-Milgram Theorem (variational approach), the theory of $m$-dissipative operators and the theory evolution operators (semigroup approach). The due a priori estimates are derived and the positivity of solutions are retrieved. In addition, we prove the corresponding results and estimates for the system of coupled transport equations. The related existence results are given for the adjoint problem as well. We also give some computational points (e.g. certain explicit formulas), and we outline a related inverse problem at the end of the paper.
△ Less
Submitted 5 April, 2018; v1 submitted 17 March, 2016;
originally announced March 2016.
-
On Existence of $L^1$-solutions for Coupled Boltzmann Transport Equation and Radiation Therapy Treatment Optimization
Authors:
Jouko Tervo,
Petri Kokkonen
Abstract:
The paper considers a linear system of Boltzmann transport equations modelling the evolution of three species of particles, photons, electrons and positrons. The system is coupled because of the collision term (an integral operator). The model is intended especially for dose calculation (forward problem) in radiation therapy. It, however, does not apply to all relevant interactions in its present…
▽ More
The paper considers a linear system of Boltzmann transport equations modelling the evolution of three species of particles, photons, electrons and positrons. The system is coupled because of the collision term (an integral operator). The model is intended especially for dose calculation (forward problem) in radiation therapy. It, however, does not apply to all relevant interactions in its present form. We show under physically relevant assumptions that the system has a unique solution in appropriate ($L^1$-based) spaces and that the solution is non-negative when the data (internal source and inflow boundary source) is non-negative. In order to be self-contained as much as is practically possible, many (basic) results and proofs have been reproduced in the paper. Existence, uniqueness and non-negativity of solutions for the related time-dependent coupled system are also proven. Moreover, we deal with inverse radiation treatment planning problem (inverse problem) as an optimal control problem both for external and internal therapy (in general $L^p$-spaces). Especially, in the case $p=2$ variational equations for an optimal control related to an appropriate differentiable convex object function are verified. Its solution can be used as an initial point for an actual (global) optimization.
△ Less
Submitted 1 February, 2017; v1 submitted 12 June, 2014;
originally announced June 2014.
-
On parametrization of linear pseudo-differential boundary value control systems
Authors:
Jouko Tervo,
Markku Nihtilä,
Petri Kokkonen
Abstract:
The paper considers pseudo-differential boundary value control systems. The underlying operators form an algebra D with the help of which we are able to formulate typical boundary value control problems. The symbolic calculus gives tools to form e.g. compositions, formal adjoints, generalized right or left inverses and compatibility conditions. By a parametrizability we mean that for a given con…
▽ More
The paper considers pseudo-differential boundary value control systems. The underlying operators form an algebra D with the help of which we are able to formulate typical boundary value control problems. The symbolic calculus gives tools to form e.g. compositions, formal adjoints, generalized right or left inverses and compatibility conditions. By a parametrizability we mean that for a given control system Au=0 one finds an operator S such that Au=0 if and only if u=Sf. The computation rules of D (or its appropriate subalgebra D') guarantee that in many applications S can be refinely analyzed or even explicitly calculated. We outline some methods of homological algebra for the study of parametrization S. Especially the projectivity of a certain factor module (defined by the system equations) implies the parametrizability. We give some examples to illustrate our computational methods.
△ Less
Submitted 17 April, 2007;
originally announced April 2007.
