Smoothness of the Solution of the Spatially Homogeneous Boltzmann Equation without Cutoff

Abstract

For regularized hard potentials cross sections, the solution of the spatially homogeneous Boltzmann equation without angular cutoff lies in Schwartz's space 𝒮(? ^N ) for all (strictly positive) time. The proof is presented in full detail for the two-dimensional case, and for a moderate singularity of the cross section. Then we present those parts of the proof for the general case, where the dimension, or the strength of the singularity play an essential role.     

The stationary Boltzmann equation for a two‐component gas in the slab

The stationary Boltzmann equation for hard forces in the context of a two‐component gas is considered in the slab. An L¹ existence theorem is proved when one component satisfies a given indata profile and the other component satisfies diffuse reflection at the boundaries. Weak L¹ compactness is extracted from the control of the entropy production term. Trace at the boundaries are also controlled. Copyright © 2007 John Wiley & Sons, Ltd.     

On the logistic equation for the fractional p-Laplacian

We consider a Dirichlet problem for a nonlinear, nonlocal equation driven by the degenerate fractional p-Laplacian, with a logistic-type reaction depending on a positive parameter. In the subdiffusive and equidiffusive cases, we prove existence and uniqueness of the positive solution when the parameter lies in convenient intervals. In the superdiffusive case, we establish a bifurcation result. A new strong comparison result, of independent interest, plays a crucial role in the proof of such bifurcation result.     

On the global well‐posedness of discrete Boltzmann systems with chemical reaction

We study an initial‐boundary value problem in one‐space dimension for the discrete Boltzmann equation extended to a diatomic gas undergoing both elastic multiple collisions and chemical reactions. By integration of conservation equations, we prove a global existence result in the half‐space for small initial data N₀∈??∩L¹. Copyright © 2005 John Wiley & Sons, Ltd.     

A remark on unique continuation along and across lower‐dimensional planes for the wave equation

We prove unique continuation of solutions of the wave equation along and across lower‐dimensional planes containing the t‐axis. This is a sharpening and a generalization of a result of Cheng, Ding and Yamamoto as well as a simplification of the proof. Copyright © 2008 John Wiley & Sons, Ltd.     

Convergence to equilibrium for linear spatially homogeneous Boltzmann equation with hard and soft potentials: A semigroup approach in L1‐spaces

We investigate the large time behavior of solutions to the spatially homogeneous linear Boltzmann equation from a semigroup viewpoint. Our analysis is performed in some (weighted) L¹‐spaces. We deal with both the cases of hard and soft potentials (with angular cut‐off). For hard potentials, we provide a new proof of the fact that, in weighted L¹‐spaces with exponential or algebraic weights, the solutions converge exponentially fast towards equilibrium. Our approach uses weak‐compactness arguments combined with recent results of the second author on positive semigroups in L¹‐spaces. For soft potentials, in L¹‐spaces, we exploit the convergence to ergodic projection for perturbed substochastic semigroup to show that, for very general initial datum, solutions to the linear Boltzmann equation converges to equilibrium in large time. Moreover, for a large class of initial data, we also prove that the convergence rate is at least algebraic. Notice that, for soft potentials, no exponential rate of convergence is expected because of the absence of spectral gap.     

The stationary Boltzmann equation for a two‐component gas for soft forces in the slab

The stationary Boltzmann equation for soft forces in the context of a two‐component gas is considered in the slab. An existence theorem is proved when one component satisfies a given indata profile and the other component satisfies diffuse reflection at the boundaries in a renormalized sense. Weak L¹ compactness is extracted from the control of the entropy production term. Trace at the boundaries is also controlled. Copyright © 2008 John Wiley & Sons, Ltd.     

The Erdős‐Sós Conjecture for trees of diameter four

The Erd?s‐Sós Conjecture is that a finite graph G with average degree greater than k ? 2 contains every tree with k vertices. Theorem 1 is a special case: every k‐vertex tree of diameter four can be embedded in G. A more technical result, Theorem 2, is obtained by extending the main ideas in the proof of Theorem 1. © 2005 Wiley Periodicals, Inc. J Graph Theory 49: 291–301, 2005     

Three‐query PCPs with perfect completeness over non‐Boolean domains

We study non‐Boolean PCPs that have perfect completeness and query three positions in the proof. For the case when the proof consists of values from a domain of size d for some integer constant d ≥ 2, we construct a nonadaptive PCP with perfect completeness and soundness d^?1 + d^?2 + ?, for any constant ? > 0, and an adaptive PCP with perfect completeness and soundness d^?1 + ?, for any constant ? > 0. The latter PCP can be converted into a nonadaptive PCP with perfect completeness and soundness d^?1 + ?, for any constant ? > 0, where four positions are read from the proof. These results match the best known constructions for the case d = 2 and our proofs also show that the particular predicates we use in our PCPs are nonapproximable beyond the random assignment threshold. © 2005 Wiley Periodicals, Inc. Random Struct. Alg., 2005     

Strong convergence towards self-similarity for one-dimensional dissipative Maxwell models

We prove the propagation of regularity, uniformly in time, for the scaled solutions of the one-dimensional dissipative Maxwell models introduced in [D. Ben-Avraham, E. Ben-Naim, K. Lindenberg, A. Rosas, Self-similarity in random collision processes, Phys. Rev. E 68 (2003) R050103]. This result together with the weak convergence towards the stationary state proven in [L. Pareschi, G. Toscani, Self-similarity and power-like tails in nonconservative kinetic models, J. Stat. Phys. 124 (2-4) (2006) 747-779] implies the strong convergence in Sobolev norms and in the L¹ norm towards it depending on the regularity of the initial data. As a consequence, the original nonscaled solutions are also proved to be convergent in L¹ towards the corresponding self-similar homogeneous cooling state. The proof is based on the (uniform in time) control of the tails of the Fourier transform of the solution, and it holds for a large range of values of the mixing parameters. In particular, in the case of the one-dimensional inelastic Boltzmann equation, the result does not depend of the degree of inelasticity.     

New Bounds for the Inhomogenous Burgers and the Kuramoto-Sivashinsky Equations

We give a substantially simplified proof of the near-optimal estimate on the Kuramoto-Sivashinsky equation from a previous paper of the third author, at the same time slightly improving the result. That result relied on two ingredients: a regularity estimate for capillary Burgers and an a novel priori estimate for the inhomogeneous inviscid Burgers equation, which works out that in many ways the conservative transport nonlinearity acts as a coercive term. It is the proof of the second ingredient that we substantially simplify by proving a modified Kármán-Howarth-Monin identity for solutions of the inhomogeneous inviscid Burgers equation. We show that this provides a new interpretation of recent results obtained by Golse and Perthame.     

Nonexistence results for higher order pseudo‐parabolic equations in the Heisenberg group

Sufficient conditions are obtained for the nonexistence of solutions to the nonlinear higher order pseudo‐parabolic equation where is the Kohn‐Laplace operator on the (2N + 1)‐dimensional Heisenberg group , m≥1,p > 1. Then, this result is extended to the case of a 2 × 2‐system of the same type. Our technique of proof is based on judicious choices of the test functions in the weak formulation of the sought solutions. Copyright © 2016 John Wiley & Sons, Ltd.     

On the relation between rates of relaxation and convergence of wild sums for solutions of the Kac equation

In the case of Maxwellian molecules, the Wild summation formula gives an expression for the solution of the spatially homogeneous Boltzmann equation in terms of its initial data F as a sum . Here, is an average over n-fold iterated Wild convolutions of F. If M denotes the Maxwellian equilibrium corresponding to F, then it is of interest to determine bounds on the rate at which tends to zero. In the case of the Kac model, we prove that for every ε>0, if F has moments of every order and finite Fisher information, there is a constant C so that for all n, where Λ is the least negative eigenvalue for the linearized collision operator. We show that Λ is the best possible exponent by relating this estimate to a sharp estimate for the rate of relaxation of f(·,t) to M. A key role in the analysis is played by a decomposition of into a smooth part and a small part. This depends in an essential way on a probabilistic construction of McKean. It allows us to circumvent difficulties stemming from the fact that the evolution does not improve the qualitative regularity of the initial data.     

Time evolution of discrete fourth‐order elliptic operators

The evolution equation is considered. A discrete parabolic methodology is developed, based on a discrete elliptic (fourth‐order) calculus. The main ingredient of this calculus is a discrete biharmonic operator (DBO). In the general case, it is shown that the approximate solutions converge to the continuous one. An “almost optimal” convergence result (O(h^{4 ? ?})) is established in the case of constant coefficients, in particular in the pure biharmonic case. Several numerical test cases are presented that not only corroborate the theoretical accuracy result, but also demonstrate high‐order accuracy of the method in nonlinear cases. The nonlinear equations include the well‐studied Kuramoto–Sivashinsky equation. Numerical solutions for this equation are shown to approximate remarkably well the exact solutions. The numerical examples demonstrate the great improvement achieved by using the DBO instead of the standard (five‐point) discrete bilaplacian.     

The Bohman‐Frieze process near criticality

The Erd?s‐Rényi process begins with an empty graph on n vertices, with edges added randomly one at a time to the graph. A classical result of Erd?s and Rényi states that the Erd?s‐Rényi process undergoes a phase transition, which takes place when the number of edges reaches n/2 (we say at time 1) and a giant component emerges. Since this seminal work of Erd?s and Rényi, various random graph models have been introduced and studied. In this paper we study the Bohman‐Frieze process, a simple modification of the Erd?s‐Rényi process. The Bohman‐Frieze process also begins with an empty graph on n vertices. At each step two random edges are presented, and if the first edge would join two isolated vertices, it is added to a graph; otherwise the second edge is added. We present several new results on the phase transition of the Bohman‐Frieze process. We show that it has a qualitatively similar phase transition to the Erd?s‐Rényi process in terms of the size and structure of the components near the critical point. We prove that all components at time t_c ? ? (that is, when the number of edges are (t_c ? ?)n/2) are trees or unicyclic components and that the largest component is of size Ω(?^‐2log n). Further, at t_c + ?, all components apart from the giant component are trees or unicyclic and the size of the second‐largest component is Θ(?^‐2log n). Each of these results corresponds to an analogous well‐known result for the Erd?s‐Rényi process. Our proof techniques include combinatorial arguments, the differential equation method for random processes, and the singularity analysis of the moment generating function for the susceptibility, which satisfies a quasi‐linear partial differential equation. © 2012 Wiley Periodicals, Inc. Random Struct. Alg., 2013     

An approximation result for free discontinuity functionals by means of non‐local energies

We approximate, in the sense of Γ‐convergence, free discontinuity functionals with linear growth by a sequence of non‐local integral functionals depending on the average of the gradient on small balls. The result extends to a higher dimension what is already proved in (Ann. Mat. Pura Appl. 2007; 186 (4): 722–744), where there is the proof of the general one‐dimensional case, and in (ESAIM Control Optim. Calc. Var. 2007; 13 (1):135–162), where the n‐dimensional case with ?=Id is treated. Moreover, we investigate whether it is possible to approximate a given free discontinuity functional by means of non‐local energies. Copyright © 2008 John Wiley & Sons, Ltd.     

Oscillation criteria for odd‐order nonlinear delay differential equations with a middle term

The oscillation of solutions of the n th‐order delay differential equation was studied in [S. R. Grace and A. Zafer, Math. Meth. Appl. Sci. 2016, 39 1150–1158] when n is even and the n odd case has been referred to as an interesting open problem. In the present work, our primary aim is to address this situation. Our method of the proof that is quite different from the aforementioned study is essentially new. We introduce V _{n ?1}‐type solutions and use comparisons with first‐order oscillatory and second‐order nonoscillatory equations. Examples are given to illustrate the main results. Copyright © 2017 John Wiley & Sons, Ltd.     

On convex embeddings of planar 3‐connected graphs

A well‐known Tutte's theorem claims that every 3‐connected planar graph has a convex embedding into the plane. Tutte's arguments also show that, moreover, for every nonseparating cycle C of a 3‐connected graph G, there exists a convex embedding of G such that C is a boundary of the outer face in this embedding. We give a simple proof of this last result. Our proof is based on the fact that a 3‐connected graph admits an ear assembly having some special properties with respect to the nonseparating cycles of the graph. This fact may be interesting and useful in itself. © 2000 John Wiley & Sons, Inc. J. Graph Theory 33: 120–124, 2000     

Probability Approaches to Spatially Homogeneous Boltzmann Equations

Abstract

This article is devoted to the study of the probability measure solutions to the spatially homogeneous Boltzmann equations. First, we provide a measure theoretical treatment to the Boltzmann collision operator. Then, the existence results both for the cutoff kernels and the non cutoff ones are established in the sense of measure-valued solutions. We also give a partial uniqueness result and some estimates for pth order moment (p > 2).