On existence of spatially regular strong solutions for a class of transport equations

Jouko Tervo; Petri Kokkonen

REVIEW 1 major objections 4 minor 40 references

On existence of spatially regular strong solutions for a class of transport equations

T0 review · 1 major / 4 minor · reviewed 2026-08-16 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read For a bounded strictly convex domain, the paper proves that linear Boltzmann transport problems with data supported away from the inflow and grazing boundary have unique strong solutions with arbitrary finite spatial Sobolev regularity…

desk verdict Plausible, genuinely new high-order spatial regularity for transport equations, but the time-dependent theorem currently rests on an unwritten range-condition proof. read the letter →

arxiv 2504.16560 v1 pith:MA6BWXQ3 submitted 2025-04-23 math.AP

Jouko Tervo , Petri Kokkonen This is my paper · ORCID

classification math.AP MSC 35Q2035L0435B6547D06

keywords linearBoltzmanntransportequationinitialinflowboundaryvalueproblemcharacteristicvariablemultiplicityanisotropicSobolevspacesescape-timemapspatialregularitycontinuousslowingdownapproximation

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper establishes that the obstruction to higher-order spatial regularity in characteristic transport boundary value problems disappears when the data are required to vanish on the inflow and grazing parts of the boundary. These problems are characteristic with variable multiplicity, meaning the rank of the boundary matrix changes at the grazing set, and unrestricted data are known to give at most $s<3/2$ spatial Sobolev regularity. For the stationary convection-scattering equation, every datum $f$ in the anisotropic space $H^{(m,0,0)}_0(G\times S\times I,\Gamma_-)$ yields a unique strong solution in the same space, for every finite order $m$ and for a strictly convex $C^\infty$ domain $G\subset\mathbb R^3$. For the continuous-slowing-down equation with coefficient $a$ satisfying $-a\ge\kappa>0$, any $f\in C^1(I,H^{(m,0)}_0(G\times S,\Gamma'_-))$ produces a unique solution $\psi\in C^1(I,H^{(m,0)}_0(G\times S,\Gamma'_-))$ with zero inflow data and zero value at the cutoff energy. The paper's message is that this limited regularity is a phenomenon of unrestricted data, not an intrinsic obstruction: vanishing near the inflow and grazing boundaries restores full finite-order spatial smoothness.

What carries the argument

The argument rests on three pieces. First, the anisotropic Sobolev spaces $H^{(m,0,0)}_0(G\times S\times I,\Gamma_-)$ — completions of smooth functions whose support avoids $\Gamma_-\cup\Gamma_0$ — encode exactly the vanishing data condition that makes higher $x$-regularity possible. Second, the extended escape-time map $\tilde t:\overline G\times S\to\mathbb R_+$, defined as the time to reach $\Gamma_-$ along the backward characteristic, is continuous on $\overline G\times S$ because $G$ is strictly convex; this continuity is what allows the explicit solution formula $\psi(x,\omega,E)=\int_0^{t(x,\omega)}e^{-\int_0^t\Sigma(x-s\omega,\omega,E)\,ds}f(x-t\omega,\omega,E)\,dt$ to be differentiated in $x$ and to propagate the support condition. Third, the smallest closed extension of the transport operator is shown to be $m$-accretive, a monotonicity-plus-range property, and surjective, so the stationary problem is well posed in every finite-order space; the scattering operator $K_r$ enters as a bounded perturbation, and in the energy-dependent case the family of operators has $E$-independent domain, allowing an abstract evolution-equation theorem to convert $m$-dissipativity into a $C^1$-in-$E$ solution.

What would settle it

Take the unit ball $G=B(0,1)$ with $\Sigma=0$, $C=0$, and a smooth $f$ supported away from $\Gamma_-\cup\Gamma_0$; the explicit formula and the continuity of $\tilde t(x,\omega)=x\cdot\omega+\sqrt{(x\cdot\omega)^2+1-\|x\|^2}$ predict $\psi\in H^{(m,0,0)}_0$ for every $m$. Repeat the same construction on a domain with a flat boundary piece, such as a cylinder or cube: by Remark 3.5 the extended escape-time map is discontinuous at grazing directions over the flat face, and a direct calculation of the first-order derivatives from formula (39) should exhibit a jump there, giving $\psi\notin H^{(2,0,0)}$ even for smooth vanishing data. If instead the solution remains $H^{(2,0,0)}$ on the flat-faced domain, then strict convexity is not essential; if it fails, the theorem's domain hypothesis is necessary for the proof's mechanism.

Watch

Extended reading notes

Core claim

The central claim is Theorem 3.21: under the hypotheses $\Sigma\in C^1(I,W^{\infty,(m,0)}(G\times S))$, $a\in C^1(I,W^{\infty,m}(G))$, $-a\ge\kappa>0$, $\sigma_2$ vanishing near $\Gamma_-\cup\Gamma_0$ in the appropriate Sobolev sense, and $f\in C^1(I,H^{(m,0)}_0(G\times S,\Gamma'_-))$, the initial inflow problem $a\,\partial\psi/\partial E+\omega\cdot\nabla_x\psi+\Sigma\psi-K_r\psi=f$, $\psi|_{\Gamma_-}=0$, $\psi(\cdot,\cdot,E_m)=0$ has a unique strong solution $\psi\in C^1(I,H^{(m,0)}_0(G\times S,\Gamma'_-))$. The companion stationary result, Theorem 3.12, asserts that the time-independent problem $\omega\cdot\nabla_x\psi+\Sigma\psi-K_r\psi+C\psi=f$, $\psi|_{\Gamma_-}=0$, has a unique solution $\psi\in H^{(m,0,0)}_0(G\times S\times I,\Gamma_-)$ for every $f$ in that space. Here $K_r$ is the restricted collision operator $K_r\psi=\int_{S'}\sigma_2(x,\omega',\omega,E)\psi(x,\omega',E)\,d\omega'$, and the subscript $0$ in the function space means the function vanishes on the inflow boundary and on the characteristic (grazing) set in the Sobolev sense. The statement is the author's intended contribution: full spatial regularity is available for these characteristic, variable-multiplicity problems once the data live in the anisotropic spaces that vanish on $\Gamma_-\cup\Gamma_0$.

Load-bearing premise

The load-bearing premise is strict convexity of the bounded $C^\infty$ domain $G$: it makes the extended escape-time map $\tilde t$ continuous on $\overline G\times S$, and that continuity is what lets the proof differentiate the explicit solution formula and propagate the data's vanishing near the inflow and grazing boundary.

Editorial extensions

If this is right

For stationary problems whose data vanish on $\Gamma_-\cup\Gamma_0$, solutions inherit the full finite spatial Sobolev order $m$ of the data; the known restriction $s<3/2$ for unrestricted data does not apply in this vanishing-data setting.
For the continuous-slowing-down equation, the solution is $C^1$ in the energy variable as a map into $H^{(m,0)}_0(G\times S,\Gamma'_-)$, giving a Hilbert-space-valued strong solution with no loss of $x$-regularity.
The range equality $R(\tilde Q_m+CI)=H^{(m,0,0)}_0(G\times S\times I,\Gamma_-)$ holds for every finite $m$, so the regularity bottleneck in discontinuous Galerkin convergence estimates can be removed: error rates such as $h^{\min\{r,k+1\}-1/2}$ are limited by the polynomial degree $k$ rather than by the solution's Sobolev index $r$.
Nonzero inflow data $g$ are handled by an explicit lift: when the transformed source in (52) stays in the vanishing space, the solution splits as an $H^{(m,0,0)}_0$-part plus a lift $L_-g$, with the compatibility condition $g(\cdot,\cdot,E_m)=0$ controlling the energy regularity.
The abstract accretivity framework also yields compatibility conditions (Remark 3.24) that must hold for higher-order $E$-regularity, with zeroth order being sufficient for the $m_3=1$ case proved here.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The strict-convexity hypothesis is likely not sharp: what the proof needs is that the extended escape-time map $\tilde t$ be continuous up to the boundary, so domains whose boundary has no flat pieces should suffice; a direct check of the unit ball formula $\tilde t(x,\omega)=x\cdot\omega+\sqrt{(x\cdot\omega)^2+1-\|x\|^2}$ shows continuity there, while the paper's own Remark 3.5 shows flat faces b
The same accretivity-plus-bounded-perturbation route should extend to the full restricted collision operator $K_r=K^1_r+K^2_r+K^3_r$ (including energy-transfer and straggling terms) whenever each cross-section vanishes near $\Gamma_-\cup\Gamma_0$ in the analogous Sobolev sense; the paper carries out only the $K^2_r$ case.
A numerical experiment could separate the regularity obstruction from discretization error: approximate a stationary transport problem on a ball with boundary-adapted finite elements enforcing zero values near $\Gamma_-\cup\Gamma_0$, and compare the observed convergence order with $h^{k+1/2}$; the vanishing-data theory predicts the higher rate, whereas unrestricted data would stall near $h^{1/2}$.
If the strict-convexity premise is essential rather than technical, a cube or cylinder should exhibit loss of the claimed $H^m$ regularity even for smooth data vanishing away from the boundary; computing the explicit solution on such a domain would locate exactly which geometric feature the result needs.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Two things to know before reading this paper. First, it delivers what it claims: existence of strong solutions with arbitrary order m in the spatial variable for linear transport problems (attenuation, scattering, and continuous slowing-down) on bounded strictly convex domains, assuming the data vanish on the inflow and characteristic boundary. That is a real step beyond existing L2 and low-regularity results, and the connection to discontinuous Galerkin convergence rates is credible. Second, the paper has a genuine gap: Lemma 3.19 asserts m-dissipativity for the generator in the CSDA case without proving the range condition, and Theorem 3.21 leans on that. The reader's report and the stress-test note are right on this point.

What is actually new: the combination of zero-trace anisotropic Sobolev spaces with the support condition on σ2 to make the scattering operator bounded into the zero-trace space, and the use of explicit solution formulas plus closures to get range-surjectivity for the stationary operators. The proof of Theorem 3.9 (convection-attenuation) is carefully written and the induction on m is natural. Lemma 3.8's support propagation argument is clean and uses the continuity of the extended escape time in an essential way. Theorem 3.12's reduction to m-accretivity via a bounded perturbation is standard but correctly handled.

Where it gets soft: Lemma 3.19 says "the stated m-dissipativity follows by similar arguments as used in Theorems 3.9 and 3.12 above. We omit further details." That is not a formality. For m-dissipativity you need range R(λI − ~Q_C,m(E)) to be the whole space, and here the transport operator has the factor 1/â(E) multiplying ω·∇x, so the explicit solution formula and the support property have to be re-verified for that scaled operator. The paper does not show it. The stress-test note is accurate: without it, Theorem 3.21 does not follow. Lemma 3.15 also omits details, but that is a boundedness estimate and less worrying. The strict convexity assumption is honestly flagged as load-bearing in Remark 3.5 and Proposition 3.6, so that is not a hidden flaw.

The work relies on the authors' own prior results for trace theorems, Green's formula, and the C1 escape time. Those are published and independent, so the citation pattern is fine. No circularity problem.

Bottom line: the main existence theorems are plausible, and the stationary parts are essentially proven. The CSDA theorem needs the missing range-condition proof. I would send this to a competent referee, not desk reject, but the referee should be asked to check Lemma 3.19 carefully. If the range condition fills in, this is a solid paper for transport regularity and numerical analysis. If it doesn't, Theorem 3.21 is unproven as stated. Worth engaging with.

Referee Report

1 major / 4 minor

Summary. The paper proves existence of spatially regular strong solutions for a class of linear Boltzmann transport equations on a bounded strictly convex C^∞ domain G ⊂ R^3. The equation is a ∂ψ/∂E + ω·∇_x ψ + Σψ − K_r ψ = f with inflow boundary condition ψ|Γ_- = 0 and, when a ≠ 0, terminal condition ψ(·,·,E_m)=0. The authors work in anisotropic Sobolev spaces H^{(m,0,0)}_0(G×S×I, Γ_-) and H^{(m,0)}_0(G×S, Γ'_-), where functions vanish near the inflow and characteristic parts of the boundary. The main results are Theorem 3.9 (stationary case with a=0, K_r=0), Theorem 3.12 (stationary case with K_r = K_r^2), and Theorem 3.21 (time/energy-dependent case with a<0). The proofs use explicit solution formulas along characteristics for the convection-attenuation equation, a support-propagation lemma for the escape-time map, m-accretivity/closed-extension arguments for the spatial operator, and the abstract evolution-equation theorem of Tanabe/Pazy for the energy-dependent case.

Significance. If the results are fully established, they provide a clean positive answer to a subtle question: although full isotropic Sobolev regularity fails for characteristic transport problems with variable boundary multiplicity, regularity in anisotropic spaces with data vanishing on the inflow and characteristic boundary can be recovered. The explicit formula (37) and the support propagation Lemma 3.8 are convincing and are applied in a logically clear way for Theorems 3.9 and 3.12. The paper also carefully identifies the geometric role of strict convexity (Proposition 3.6 and Remark 3.5), which is an instructive and honest limitation. The dependence on the authors' earlier work for trace theorems, Green's formula, and L^2 well-posedness is explicit and appears non-circular, since those results are already published and do not presuppose the current theorems. The main weakness is that the proof of the central time-dependent result (Theorem 3.21) relies on an unproven range-condition claim in Lemma 3.19.

major comments (1)

[§3.3, Lemma 3.19 and Theorem 3.21] Lemma 3.15 states the bound (70) for ‖(1/â(E)) K̂_r(E)‖_m and says 'We omit further details.' This bound is used in the definition of the operator family and in the proof of Lemma 3.19, and it is also needed to justify the C^1-dependence of the family in Theorem 3.21. The estimate is plausible and likely derivable by the methods of Theorem 3.11, but an explicit proof or a precise reference should be included, especially because the proof of Lemma 3.19 already leaves a critical gap.

minor comments (4)

[§3.1, Theorem 3.9 proof, Part A.2] In the sentence 'the induction hypothesis implies that ψ ∈ C^{(m,0,0)}_0(G×S×, Γ_-)', the domain 'G×S×' is missing the factor I; it should read 'G×S×I'.
[§2 and §3.1, Lemma 3.8] The notation 'Γ_- ∪ Γ_0 = Γ_-' is an abuse, since Γ_0 is not a subset of Γ_-; the intended meaning is that Γ_- ∪ Γ_0 is the closure of Γ_- in Γ. This shorthand recurs in several places and could confuse readers unfamiliar with the boundary decomposition.
[§3.1.1] The space denoted W^{∞,(m,0,0)}(G×S×I) is redefined as a completion of C^{(∞,0,0)}(G×S×I) after the notation was already used for the L^∞-based Sobolev space in (19). Using the same symbol for two different spaces is confusing; a distinct notation would be clearer.
[Throughout] The proof of Theorem 3.21 invokes several prior results from the authors' earlier papers ([34], [35], [36], [40]). A short table or index identifying exactly which prior theorem is used at each step would make the dependence more transparent and ease verification.

Circularity Check

0 steps flagged · score 2.0 of 10

No circular derivation found: the main existence theorems are proved inside the paper by explicit formulas, accretivity estimates, and standard evolution-equation theory; self-citations supply preliminary geometric and trace tools only.

full rationale

The central claims (Theorems 3.9, 3.12, 3.21) are proved within the paper by an explicit characteristic representation, accretivity estimates, bounded-perturbation arguments for Kr, and the standard evolution-equation theorem (Theorem 3.14, cited to Pazy/Tanabe/Engel-Nagel). The spaces H^(m,0,0)_0(G x S x I, Gamma_-) are defined by a genuine data restriction (vanishing near the inflow and characteristic boundary parts), not in terms of the solution operator being constructed; the theorems then prove range surjectivity of the closed extensions onto these spaces. No parameter is fitted and no 'prediction' is renamed input. The authors' own prior work is cited for trace theorems, C^1 regularity of the escape-time map, and L2 dissipativity estimates (e.g., [34, Prop. 4.7], [35, Thm. 2.16/2.15], [36, Lemma 3.4]); these are parameter-free preliminary facts that do not presuppose the present H^(m,0)_0 regularity theorems, so under the review rules they count as independent support rather than circularity. The proof of Lemma 3.19 states that the range condition for m-dissipativity of ~Q_C,m(E) 'follows by similar arguments as used in Theorems 3.9 and 3.12 above. We omit further details'; that is an omitted-details/correctness gap, not a circular reduction, because the cited arguments are earlier proofs inside the same paper for the corresponding unscaled/steady operators and not the target conclusion itself.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

No free parameters are fitted to data; all constants C are abstract thresholds constructed from the norms of the coefficients. The central additional structure is the zero-trace anisotropic data spaces and the support condition on sigma_2, which are restrictive modeling choices rather than invented physical entities.

assumptions (4)

domain assumption G is a bounded C^infty strictly convex domain in R^3.
Used to prove the extended escape-time map t~ is continuous on closure(G) x S and t is C^1 on G x S (Proposition 3.6), which is needed for Lemma 3.8 and the derivative estimates in Theorem 3.9. Remark 3.5 and Example 3.7 show this is a genuine assumption.
domain assumption The coefficients satisfy Sigma in W^{infinity,(m,0,0)}(G x S x I), sigma_2 in W^{infinity,(m,0,0)}_0(G x S x I, L^1(S'), Gamma_-), and for the CSDA case a in W^{infinity,(m,0)}(G x I) with -a >= kappa > 0.
These regularity, support, and ellipticity hypotheses enter the accretivity estimates (Lemma 3.3), the boundedness of K_r (Theorem 3.11), and the m-dissipativity of the energy-transformed operator (Lemma 3.19).
standard math Standard results from trace theory, m-accretive semigroup theory, and evolution equations (Tanabe's theorem) are invoked.
Used in Theorems 2.1, 3.9, 3.12, and 3.14; these are textbook results.
domain assumption Prior results of the same authors ([34], [35], [36], [40]) on L2 well-posedness, trace theorems, Green's formula, and local C1 regularity of the escape-time map are used as black boxes.
The paper depends on these citation-based facts; they are established in the cited works and not re-proven here. They are independent of the current claim but reduce the self-containedness of the paper.

how reviews work

0 comments

Cite this review

Pith. "Pith review of On existence of spatially regular strong solutions for a class of transport equations." pith.science (2026). https://pith.science/paper/MA6BWXQ3

@misc{pith2026250416560,
  author       = {Pith},
  title        = {Pith review of: On existence of spatially regular strong solutions for a class of transport equations},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/MA6BWXQ3}},
  note         = {Machine review of arXiv:2504.16560}
}

read the original 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 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.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

40 extracted references · 38 canonical work pages

[1]

Adams, R.A. and J.F. Fourier. Sobolev Spaces, Vol. 140 of Pure and Applied Mathematics, Elsevier, 2003

work page 2003
[2]

Boundary Value Problems for Transport Equations , Springer Science +Business Media, 1998

Agoshkov, V. Boundary Value Problems for Transport Equations , Springer Science +Business Media, 1998

work page 1998
[3]

Morimoto, S

Alexandre, R., Y. Morimoto, S. Ukai, C.-J. Xu and T. Yang. Global existence and full regularity of the Boltz- mann equation without angular cutoﬀ . Comm. in Math. Phys. 304, Article number 304, 2011

work page 2011
[4]

Alonso R. and W. Sun. The radiative transfer equation in the forward-peaked regi me, arXiv:1411.0163v1 [math.AP], 2014

work page Pith review arXiv 2014
[5]

S., Kovtanyuk, A

Anikonov, D. S., Kovtanyuk, A. E., Prokhorov, I. V., Transport Equation and Tomography , Inverse and Ill- Posed Problems Series, 30, V.S.P. Intl Science, 2002

work page 2002
[6]

On the sharp regularity of solutions to hyperbolic boundary value problems

Audiart, C. . On the sharp regularity of solutions to hyperbolic boundary value problems. Ann. Henri Lebesgue, pp.1349-1369, 2023

work page 2023
[7]

A revisit of the velocity averaging lemma: On the regularity of stationary Boltzmann equation i n a bounded convex domain

Chen, J-Kun, Ping-Han Chuang, Chun-Hsiung Hsia and Jhe-Kuan Su. A revisit of the velocity averaging lemma: On the regularity of stationary Boltzmann equation i n a bounded convex domain . arXiv:2011.00180v1 [math.AP] 31 Oct 2020

arXiv 2011
[8]

On the Existence of $H^1$ solutions for Stationary Linearized Boltzmann Equations in a Small Convex Domain

Chen, I-K., P-H. Chuang, C-H. Hsia, D. Kawagoe and J-K. Su. On the existence of H 1 solutions for stationary linearized Boltzmann equation in small convex domain . arXiv:2304.08800v1 [math.AP] 18 Apr 2023 ON EXISTENCE OF SPATIALLY REGULAR STRONG SOLUTIONS FOR A CLA SS OF TRANSPORT EQUATIONS 31

work page Pith review arXiv 2023

Show all 40 references

[9]

Choulli M. and P. Stefanov. An inverse boundary value problem for stationary transport equation. Osaka J. Math. 36 (1), 1998, pp. 87-104

1998
[10]

Mathematical Analysis and Numerical Methods for Science an d Technology, Vol

Dautray, R., Lions, J-L. Mathematical Analysis and Numerical Methods for Science an d Technology, Vol. 6. Evolution Problems II, Springer, 1999

1999
[11]

Engel, K.-J., Nagel, R., One-Parameter Semigroups for Linear Evolution Equations , Springer, 2000

2000
[12]

Folland G.B., Real Analysis:Modern Techniques and their Applications , Wiley and Sons, 1999

1999
[13]

Herty, M

Frank, M., M. Herty, M. Sch¨ afer. Optimal Treatment planning in radiotherapy based on Boltzm ann transport calculations, Math. Mod. Meth. Appl. Sci. 18 (4), 2008, pp. 573-592

2008
[14]

Herty and A.N

Frank, M., M. Herty and A.N. Sandjo. Optimal radiotherapy treatment planning governed by kinet ic equations, Math. Mod. Meth. Appl. Sci. 20 (4), 2010, pp. 661-678

2010
[15]

Golse, P.-L

F. Golse, P.-L. Lions, B. Perthame and R. Sentis. Regularity of moments of the solution of a transport equatio n, J. Funct. Anal. 76. pp. 110-125, 1988

1988
[16]

Elliptic problems in nonsmooth domains , vol

Grisvard, P. Elliptic problems in nonsmooth domains , vol. 24 of Monographs and Studies (Mathematics), Pitman, 1985

1985
[17]

Guo, Y., C. Kim, D. Tonon and A. Trescases. BV-regularity of the Boltzmann equation in non-convex doma ins, Archive for Rational Mechanics and Analysis 220 (3), 2016

2016
[18]

Guo, Y., C. Kim, D. Tonon and A. Trescases. Regularity of the Boltzmann equation in convex domains , Inventiones Mathematicae 207 (1), pp. 115-290, 2017

2017
[19]

Huang and J.A

Han W., J. Huang and J.A. Eichholtz. Discrete-ordinate discontinuous Galerkin methods for sol ving the radiative transfer equation . SIAM J. Sci. Comput. 32 (2), pp. 477-497, 2010

2010
[20]

Iza-Teran and N

Hensel, H., R. Iza-Teran and N. Siedow. Deterministic model for dose calculation in photon radioth erapy. Phys.Med.Biol. 51(39), pp. 675-693, 2006

2006
[21]

Johnson, C. and J. Pitk¨ aranta. An analysis of discontinuous Galerkin method for a scalar hy perbolic equation. Math. Comput. 47, pp. 285-312, 1986

1986
[22]

Regularity of solutions to the stationary transport equati on with the incoming boundary data

Kawagoe, D. Regularity of solutions to the stationary transport equati on with the incoming boundary data . Thesis in Kyoto University, 2018

2018
[23]

Lee, J., Introduction to Smooth Manifolds , Springer, 2nd Edition, 2013

2013
[24]

W p,1 regularity in transport theory , Math

Mokhtar-Kharroubi, M. W p,1 regularity in transport theory , Math. Models. Methods. Appl. Sci. 1 (4), pp. 477-499, 1991

1991
[25]

Secchi and P

Morando, A., P. Secchi and P. Trebeschi. Regularity of solutions to characteristic initial-bounda ry value problems for symmetrizable systems . J. of Hyperbolic Diﬀerential Equations, 6 (4), pp. 753-808, 2009

2009
[26]

Nishitani, T. and M. Takayama. A characteristic initial boundary value problem for a symme tric positive system. Hokkaido Math. J. 25, pp. 167-182, 1996

1996
[27]

Nishitani, T. and M. Takayama. Characteristic initial boundary value problems for symmet ric hyperbolic systems. Osaka J. Math. 35, pp. 629-657, 1998

1998
[28]

Semigroups of Linear Operators and Applications to Partial Diﬀerential Equations , Springer, 1983

Pazy, A. Semigroups of Linear Operators and Applications to Partial Diﬀerential Equations , Springer, 1983

1983
[29]

Symmetric positive systems with boundary characteristic o f constant multiplicity

Rauch, J. Symmetric positive systems with boundary characteristic o f constant multiplicity . Trans. Amer. Math. Soc. 291 (1), pp. 167-187, 1985

1985
[30]

Rauch, J. and F. Massey. Diﬀerentiability of solutions to hyperbolic initial-boun dary value problems . Trans. Amer. Math. Soc. 189, pp. 303-318, 1974

1974
[31]

On the order of convergence of the discontinuous Galerkin me thod for hyperbolic equations

Richter, G.R. On the order of convergence of the discontinuous Galerkin me thod for hyperbolic equations . Math. Comput. 77 (264), pp. 1871-1885, 2008

2008
[32]

Regularity of solutions to non-uniformly characteristic b oundary value problems for symmetric systems

Takayama, M. Regularity of solutions to non-uniformly characteristic b oundary value problems for symmetric systems. Reprint in Kyoto University (on-line), 2002

2002
[33]

Equations of Evolution , Pitman, 1979

Tanabe, H. Equations of Evolution , Pitman, 1979

1979
[34]

and Kokkonen, P

Tervo, J. and Kokkonen, P. On existence of L1-solutions for coupled Boltzmann transport equation and ra di- ation therapy treatment planning , ArXiv: 1406.3228v2 [ math.OC ] 1 Feb 2017

2017 arXiv
[35]

and Herty, M

Tervo, J., Kokkonen, P., Frank, M. and Herty, M. On Existence of L2-solutions of Coupled Boltzmann Con- tinuous Slowing Down Transport Equation System , arXiv:1603.05534v3 [ math.OC ] 5 Apr 2018

2018 arXiv
[36]

, Frank, M

Tervo, J., Kokkonen, P. , Frank, M. and Herty, M. On existence of solutions for Boltzmann Continuous Slowing Down transport Equation , J. Math. Anal. Appl. 460 :1, 271-301, 2018

2018
[37]

, Frank, M

Tervo, J., Kokkonen, P. , Frank, M. and Herty, M. On approximative linear Boltzmann transport equation for charged particle transport. Math. Models Methods Appl. Sci. 14:28, pp. 2905-2939, 2018

2018
[38]

and Herty, M., On approximation of a hyper-singular transport operator an d existence of solutions

Tervo, J. and Herty, M., On approximation of a hyper-singular transport operator an d existence of solutions . Methods and Applications in Analysis 27 (1). pp. 125-152, 2020

2020
[39]

On global existence and regularity of solutions for a transp ort problem related to charged particles

Tervo, J. On global existence and regularity of solutions for a transp ort problem related to charged particles . J. Computational and Theoretical Transport, DOI: 10.1080/233 24309.2020.1851722 (on-line), 2021

2020
[40]

On regularity of solutions for certain linear Boltzmann tra nsport equations

Tervo, J. On regularity of solutions for certain linear Boltzmann tra nsport equations . arXiv:2102.08008v4 [ math.AP ], 2023

2023 arXiv

Pith tools

Reviewed August 16, 2026 · model on record in the stance chip above.

[1] [1]

Adams, R.A. and J.F. Fourier. Sobolev Spaces, Vol. 140 of Pure and Applied Mathematics, Elsevier, 2003

work page 2003

[2] [2]

Boundary Value Problems for Transport Equations , Springer Science +Business Media, 1998

Agoshkov, V. Boundary Value Problems for Transport Equations , Springer Science +Business Media, 1998

work page 1998

[3] [3]

Morimoto, S

Alexandre, R., Y. Morimoto, S. Ukai, C.-J. Xu and T. Yang. Global existence and full regularity of the Boltz- mann equation without angular cutoﬀ . Comm. in Math. Phys. 304, Article number 304, 2011

work page 2011

[4] [4]

Alonso R. and W. Sun. The radiative transfer equation in the forward-peaked regi me, arXiv:1411.0163v1 [math.AP], 2014

work page Pith review arXiv 2014

[5] [5]

S., Kovtanyuk, A

Anikonov, D. S., Kovtanyuk, A. E., Prokhorov, I. V., Transport Equation and Tomography , Inverse and Ill- Posed Problems Series, 30, V.S.P. Intl Science, 2002

work page 2002

[6] [6]

On the sharp regularity of solutions to hyperbolic boundary value problems

Audiart, C. . On the sharp regularity of solutions to hyperbolic boundary value problems. Ann. Henri Lebesgue, pp.1349-1369, 2023

work page 2023

[7] [7]

A revisit of the velocity averaging lemma: On the regularity of stationary Boltzmann equation i n a bounded convex domain

Chen, J-Kun, Ping-Han Chuang, Chun-Hsiung Hsia and Jhe-Kuan Su. A revisit of the velocity averaging lemma: On the regularity of stationary Boltzmann equation i n a bounded convex domain . arXiv:2011.00180v1 [math.AP] 31 Oct 2020

arXiv 2011

[8] [8]

On the Existence of $H^1$ solutions for Stationary Linearized Boltzmann Equations in a Small Convex Domain

Chen, I-K., P-H. Chuang, C-H. Hsia, D. Kawagoe and J-K. Su. On the existence of H 1 solutions for stationary linearized Boltzmann equation in small convex domain . arXiv:2304.08800v1 [math.AP] 18 Apr 2023 ON EXISTENCE OF SPATIALLY REGULAR STRONG SOLUTIONS FOR A CLA SS OF TRANSPORT EQUATIONS 31

work page Pith review arXiv 2023