-
A functional inequality between Hessians in spaces with non-zero curvature
Authors:
Tomasz Cieślak,
Michał Gaczkowski,
Wojciech Kryński
Abstract:
A version of the recent functional inequality between the Hessians of the square root and the logarithm of positive functions is proven in spaces with non-zero curvature.
A version of the recent functional inequality between the Hessians of the square root and the logarithm of positive functions is proven in spaces with non-zero curvature.
△ Less
Submitted 23 June, 2025; v1 submitted 8 June, 2025;
originally announced June 2025.
-
Time-asymptotics of a heated string
Authors:
Piotr Michał Bies,
Tomasz Cieślak
Abstract:
In the present paper, we study a model of a thermoelastic string that is initially heated. We classify all the possible asymptotic states when time tends to infinity of such a model. Actually, we show that whatever the initial data is, a heated string must converge to a flat, steady string with uniformly distributed heat. The latter distribution is calculated from the energy conservation. In order…
▽ More
In the present paper, we study a model of a thermoelastic string that is initially heated. We classify all the possible asymptotic states when time tends to infinity of such a model. Actually, we show that whatever the initial data is, a heated string must converge to a flat, steady string with uniformly distributed heat. The latter distribution is calculated from the energy conservation. In order to obtain the result, we need to take a few steps. In the first two steps, time-independent bounds from above and from below (by a positive constant) of the temperature are obtained. This is done via the Moser-like iteration. The lower bound is obtained via the Moser iteration on the negative part of the logarithm of temperature. In the third step, we obtain a time-independent higher-order estimate, which yields compactness of a sequence of the values of the solution when time tends to infinity. Here, an estimate involving the Fisher information of temperature, together with a recent functional inequality from \cite{CFHS} and an $L^2(L^2)$ estimate of the gradient of entropy, enable us to arrive at a tricky Grönwall type inequality. Finally, in the last steps, we define the dynamical system on a proper functional phase space and study its $ω$-limit set. To this end, we use, in particular, the quantitative version of the second principle of thermodynamics. Also, the entropy dissipation term and the bound of the entropy from below are useful when identifying the structure of the $ω$-limit set.
△ Less
Submitted 6 June, 2024; v1 submitted 7 May, 2024;
originally announced May 2024.
-
Time-zero limits of Kaden's spirals and 2D Euler
Authors:
Bartosz Bieganowski,
Tomasz Cieślak,
Jakub Siemianowski
Abstract:
The present note is devoted to the studies of the relation of the time-zero limits of Kaden's spirals and the 2D Euler equation. It is shown that the time-zero limits of Kaden's spirals satisfy inhomogeneous 2D Euler in a weak sense. As a corollary, the necessity of both, the decay of spherical averages around the origin of the spiral as well as the velocity matching condition, for the 2D Euler eq…
▽ More
The present note is devoted to the studies of the relation of the time-zero limits of Kaden's spirals and the 2D Euler equation. It is shown that the time-zero limits of Kaden's spirals satisfy inhomogeneous 2D Euler in a weak sense. As a corollary, the necessity of both, the decay of spherical averages around the origin of the spiral as well as the velocity matching condition, for the 2D Euler equation to hold in a weak sense, is shown. Finally, some preliminary results concerning the Kaden spirals are obtained.
△ Less
Submitted 5 April, 2025; v1 submitted 24 May, 2023;
originally announced May 2023.
-
Linear instability of symmetric logarithmic spiral vortex sheets
Authors:
Tomasz Cieślak,
Piotr Kokocki,
Wojciech S. Ożański
Abstract:
We consider Alexander spirals with $M\geq 3$ branches, that is symmetric logarithmic spiral vortex sheets. We show that such vortex sheets are linearly unstable in the $L^\infty$ (Kelvin-Helmholtz) sense, as solutions to the Birkhoff-Rott equation. To this end we consider Fourier modes in a logarithmic variable to identify unstable solutions with polynomial growth in time.
We consider Alexander spirals with $M\geq 3$ branches, that is symmetric logarithmic spiral vortex sheets. We show that such vortex sheets are linearly unstable in the $L^\infty$ (Kelvin-Helmholtz) sense, as solutions to the Birkhoff-Rott equation. To this end we consider Fourier modes in a logarithmic variable to identify unstable solutions with polynomial growth in time.
△ Less
Submitted 15 May, 2023;
originally announced May 2023.
-
Global-in-time regular unique solutions with positive temperature to the 1d thermoelasticity
Authors:
Piotr Michał Bies,
Tomasz Cieślak
Abstract:
We construct unique regular solutions to the minimal nonlinear system of the 1d thermoelasticity. The obtained solution has a positive temperature. Our approach is based on an estimate, using the Fisher information, which seems completely new in this context. It is combined with a recent inequality in [2] and embeddings, which allows us to obtain a new energy estimate. The latter is used in a half…
▽ More
We construct unique regular solutions to the minimal nonlinear system of the 1d thermoelasticity. The obtained solution has a positive temperature. Our approach is based on an estimate, using the Fisher information, which seems completely new in this context. It is combined with a recent inequality in [2] and embeddings, which allows us to obtain a new energy estimate. The latter is used in a half-Galerkin procedure yielding global solutions. The uniqueness and further regularity of such solutions are obtained.
△ Less
Submitted 30 August, 2023; v1 submitted 22 March, 2023;
originally announced March 2023.
-
On the existence of global solutions for the 3D chemorepulsion system
Authors:
Tomasz Cieślak,
Mario Fuest,
Karol Hajduk,
Mikołaj Sierżęga
Abstract:
In this paper, we give sufficient conditions for global-in-time existence of classical solutions for the fully parabolic chemorepulsion system posed on a convex, bounded three-dimensional domain. Our main result establishes global-in-time existence of regular nonnegative solutions provided that $\nabla\sqrt{u} \in L^4(0, T; L^2(Ω))$. Our method is related to the Bakry--Émery calculation and appear…
▽ More
In this paper, we give sufficient conditions for global-in-time existence of classical solutions for the fully parabolic chemorepulsion system posed on a convex, bounded three-dimensional domain. Our main result establishes global-in-time existence of regular nonnegative solutions provided that $\nabla\sqrt{u} \in L^4(0, T; L^2(Ω))$. Our method is related to the Bakry--Émery calculation and appears to be new in this context.
△ Less
Submitted 21 November, 2023; v1 submitted 16 March, 2023;
originally announced March 2023.
-
Global weak solutions in nonlinear 3D thermoelasticity
Authors:
Tomasz Cieślak,
Boris Muha,
Srđan Trifunović
Abstract:
Here we study a nonlinear thermoelasticity hyperbolic-parabolic system describing the balance of momentum and internal energy of a heat-conducting elastic body, preserving the positivity of temperature. So far, no global existence results in such a natural case were available. Our result is obtained by using thermodynamically justified variables which allow us to obtain an equivalent system in whi…
▽ More
Here we study a nonlinear thermoelasticity hyperbolic-parabolic system describing the balance of momentum and internal energy of a heat-conducting elastic body, preserving the positivity of temperature. So far, no global existence results in such a natural case were available. Our result is obtained by using thermodynamically justified variables which allow us to obtain an equivalent system in which the internal energy balance is replaced with entropy balance. For this system, a concept of weak solution with defect measure is introduced, which satisfies entropy inequality instead of balance and has a positive temperature almost everywhere. Then, the global existence, consistency and weak-strong uniqueness are shown in the cases where heat capacity and heat conductivity are both either constant or non-constant. Let us point out that this is the first result concerning global existence for large initial data in nonlinear thermoelasticity where the model is in full accordance with the laws of thermodynamics.
△ Less
Submitted 19 December, 2023; v1 submitted 18 October, 2022;
originally announced October 2022.
-
Existence of nonsymmetric logarithmic spiral vortex sheet solutions to the 2D Euler equations
Authors:
T. Cieślak,
P. Kokocki,
W. S. Ożański
Abstract:
We consider solutions of the 2D incompressible Euler equation in the form of $M\geq 1$ cocentric logarithmic spirals. We prove the existence of a generic family of spirals that are nonsymmetric in the sense that the angles of the individual spirals are not uniformly distributed over the unit circle. Namely, we show that if $M=2$ or $M\geq 3 $ is an odd integer such that certain non-degeneracy cond…
▽ More
We consider solutions of the 2D incompressible Euler equation in the form of $M\geq 1$ cocentric logarithmic spirals. We prove the existence of a generic family of spirals that are nonsymmetric in the sense that the angles of the individual spirals are not uniformly distributed over the unit circle. Namely, we show that if $M=2$ or $M\geq 3 $ is an odd integer such that certain non-degeneracy conditions hold, then, for each $n \in \{ 1,2 \}$, there exists a logarithmic spiral with $M$ branches of relative angles arbitrarily close to $\barθ_{k} = knπ/M$ for $k=0,1,\ldots , M-1$, which include halves of the angles of the Alexander spirals. We show that the non-degeneracy conditions are satisfied if $M\in \{ 2, 3,5,7,9 \}$, and that the conditions hold for all odd $M>9$ given a certain gradient matrix is invertible, which appears to be true by numerical computations.
△ Less
Submitted 18 February, 2025; v1 submitted 13 July, 2022;
originally announced July 2022.
-
Magnetostatic levitation and two related linear PDEs in unbounded domains
Authors:
Bartosz Bieganowski,
Tomasz Cieślak,
Jakub Siemianowski
Abstract:
We consider a problem occurring in a magnetostatic levitation. The problem leads to a linear PDE in a strip. In engineering literature a particular solution is obtained. Such a solution enables one to compute lift and drag forces of the levitating object. It is in agreement with the experiment. We show that such a solution is unique in a class of bounded regular functions. Moreover, as a byproduct…
▽ More
We consider a problem occurring in a magnetostatic levitation. The problem leads to a linear PDE in a strip. In engineering literature a particular solution is obtained. Such a solution enables one to compute lift and drag forces of the levitating object. It is in agreement with the experiment. We show that such a solution is unique in a class of bounded regular functions. Moreover, as a byproduct, we obtain nonstandard uniqueness results in two linear PDEs in unbounded domains. One of them is an Eigenvalue problem for the Laplacian in the strip in the nonstandard class of functions.
△ Less
Submitted 24 July, 2023; v1 submitted 3 February, 2022;
originally announced February 2022.
-
Well-posedness of logarithmic spiral vortex sheets
Authors:
T. Cieślak,
P. Kokocki,
W. S. Ożański
Abstract:
We consider a family of 2D logarithmic spiral vortex sheets which include the celebrated spirals introduced by Prandtl (Vorträge aus dem Gebiete der Hydro- und Aero-dynamik, 1922) and by Alexander (Phys. Fluids, 1971). We prove that for each such spiral the normal component of the velocity field remains continuous across the spiral. We give sufficient conditions for spiral vortex sheets to be weak…
▽ More
We consider a family of 2D logarithmic spiral vortex sheets which include the celebrated spirals introduced by Prandtl (Vorträge aus dem Gebiete der Hydro- und Aero-dynamik, 1922) and by Alexander (Phys. Fluids, 1971). We prove that for each such spiral the normal component of the velocity field remains continuous across the spiral. We give sufficient conditions for spiral vortex sheets to be weak solutions of the 2D incompressible Euler equations. Namely, we show that a spiral gives rise to such a solution if and only if two conditions hold across every spiral: a velocity matching condition and a pressure matching condition. Furthermore we show that these two conditions are equivalent to the imaginary part and the real part, respectively, of a single complex constraint on the coefficients of the spirals. This in particular provides a rigorous mathematical framework for logarithmic spirals, an issue that has remained open since their introduction by Prandtl in 1922. Another consequence of the main result is well-posedness of the symmetric Alexander spiral with two branches, despite recent evidence for the contrary. Moreover, our result implies a sharpness result of Delort's theorem on global existence of solutions to the Euler equations with initial vorticity measure. Our main tools are new explicit formulas for the velocity field and for the pressure function, as well as a notion of a \emph{winding number} of a spiral, which not only gives a robust way of localizing the spirals' arms with respect to a given point in the plane, but also ensures correct asymptotic behaviour near $0$.
△ Less
Submitted 3 April, 2023; v1 submitted 14 October, 2021;
originally announced October 2021.
-
A partial uniqueness result and an asymptotically sharp nonuniqueness result for the Zhikov problem on the torus
Authors:
Tomasz Cieślak,
Wojciech S. Ożański
Abstract:
We consider the stationary diffusion equation $-\mathrm{div} (\nabla u + bu )=f$ in $n$-dimensional torus $\mathbb{T}^n$, where $f\in H^{-1}$ is a given forcing and $b\in L^p$ is a divergence-free drift. Zhikov (Funkts. Anal. Prilozhen., 2004) considered this equation in the case of a bounded, Lipschitz domain $Ω\subset \mathbb{R}^n$, and proved existence of solutions for $b\in L^{2n/(n+2)}$, uniq…
▽ More
We consider the stationary diffusion equation $-\mathrm{div} (\nabla u + bu )=f$ in $n$-dimensional torus $\mathbb{T}^n$, where $f\in H^{-1}$ is a given forcing and $b\in L^p$ is a divergence-free drift. Zhikov (Funkts. Anal. Prilozhen., 2004) considered this equation in the case of a bounded, Lipschitz domain $Ω\subset \mathbb{R}^n$, and proved existence of solutions for $b\in L^{2n/(n+2)}$, uniqueness for $b\in L^2$, and has provided a point-singularity counterexample that shows nonuniqueness for $b\in L^{3/2-}$ and $n=3,4,5$. We apply a duality method and a DiPerna-Lions-type estimate to show uniqueness of the solutions constructed by Zhikov for $b\in W^{1,1}$. We use a Nash iteration to demonstrate sharpness of this result, and also show that solutions in $H^1\cap L^{p/(p-1)}$ are flexible for $b\in L^p$, $p\in [1,2(n-1)/(n+1))$; namely we show that the set of $b\in L^p$ for which nonuniqueness in the class $H^1\cap L^{p/(p-1)}$ occurs is dense in the divergence-free subspace of $L^p$.
△ Less
Submitted 29 January, 2022; v1 submitted 25 June, 2021;
originally announced June 2021.
-
Time-optimal control of a two-peakon collision
Authors:
Tomasz Cieślak,
Bidesh Das
Abstract:
We study a time-optimal control problem of a two-peakon collision. First, we state the controllability. Next, we find the time-optimal strategy. This is done via the HamiltonJacobi-Bellman equation and the dynamic programming method. We find a tricky way to solve a corresponding Hamilton-Jacobi-Bellman equation. Our approach can be extended to more general control problems. Indeed, a special versi…
▽ More
We study a time-optimal control problem of a two-peakon collision. First, we state the controllability. Next, we find the time-optimal strategy. This is done via the HamiltonJacobi-Bellman equation and the dynamic programming method. We find a tricky way to solve a corresponding Hamilton-Jacobi-Bellman equation. Our approach can be extended to more general control problems. Indeed, a special version of a maximum principle for time-optimal controls of particular Hamiltonian systems is proposed.
△ Less
Submitted 21 May, 2021;
originally announced May 2021.
-
Geometric aspects of two- and threepeakons
Authors:
Tomasz Cieślak,
Wojciech Kryński
Abstract:
We apply geometric tools to study dynamics of two- and threepeakon solutions of the Camassa--Holm equation. New proofs of asymptotic behavior of the solutions are given. In particular we recover well-known collision conditions. Additionally the Gauss curvature (in the twopeakon case) and the sectional curvature (in the treepeakon case) of corresponding manifolds are computed.
We apply geometric tools to study dynamics of two- and threepeakon solutions of the Camassa--Holm equation. New proofs of asymptotic behavior of the solutions are given. In particular we recover well-known collision conditions. Additionally the Gauss curvature (in the twopeakon case) and the sectional curvature (in the treepeakon case) of corresponding manifolds are computed.
△ Less
Submitted 6 October, 2020;
originally announced October 2020.
-
Existence of viscosity solutions with the optimal regularity of a two-peakon Hamilton--Jacobi equation
Authors:
Tomasz Cieślak,
Jakub Siemianowski
Abstract:
This work is devoted to the studies of a Hamilton--Jacobi equation with a quadratic and degenerate Hamiltonian, which comes from the dynamics of a multipeakon in the Camassa--Holm equation. It is given by a quadratic form with a singular positive semi-definite matrix. We increase the regularity of the value function considered in our previous paper, which is known to be the viscosity solution. We…
▽ More
This work is devoted to the studies of a Hamilton--Jacobi equation with a quadratic and degenerate Hamiltonian, which comes from the dynamics of a multipeakon in the Camassa--Holm equation. It is given by a quadratic form with a singular positive semi-definite matrix. We increase the regularity of the value function considered in our previous paper, which is known to be the viscosity solution. We prove that for a two-peakon Hamiltonian such solutions are actually $1/2$-Hölder continuous in space and time-Lipschitz continuous. The time-Lipschitz regularity is proven in any dimension $N\geq 1$. Such a regularity is already known in the one-dimensional simplifications, moreover it is the best possible, as was shown in our previous papers.
△ Less
Submitted 5 August, 2020;
originally announced August 2020.
-
Viscosity solutions to an initial value problem for a Hamilton--Jacobi equation with a degenerate Hamiltonian occurring in the dynamics of peakons
Authors:
Tomasz Cieślak,
Jakub Siemianowski,
Andrzej Święch
Abstract:
We consider an initial value problem for a Hamilton--Jacobi equation with a quadratic and degenerate Hamiltonian. Our Hamiltonian comes from the dynamics of $N$-peakon in the Camassa--Holm equation. It is given by a quadratic form with a singular positive semi-definite matrix. Such a problem does not fall into the standard theory of viscosity solutions. Also viability related results, sometimes us…
▽ More
We consider an initial value problem for a Hamilton--Jacobi equation with a quadratic and degenerate Hamiltonian. Our Hamiltonian comes from the dynamics of $N$-peakon in the Camassa--Holm equation. It is given by a quadratic form with a singular positive semi-definite matrix. Such a problem does not fall into the standard theory of viscosity solutions. Also viability related results, sometimes used to deal with degenerate Hamiltonians, do not seem applicable in our case. We prove the global existence of a viscosity solution by looking at the associated optimal control problem and showing that the value function is a viscosity solution. The most complicated part is the continuity of a viscosity solution which is obtained in the two-peakon case only. The source of the difficulties is the non-uniqueness of solutions to the state equation in the optimal control problem. We prove that the viscosity solution is Lipschitz continuous and unique on some short time interval if the initial condition is Lipschitz continuous. We end the paper with an example showing the loss of Lipschitz continuity of a viscosity solution in the one-dimensional case.
△ Less
Submitted 3 July, 2020; v1 submitted 17 March, 2020;
originally announced March 2020.
-
A model in one-dimensional thermoelasticity
Authors:
Tomasz Cieslak,
Marija Galić,
Boris Muha
Abstract:
We study a one-dimensional nonlinear hyperbolic-parabolic initial boundary value problem occurring in the theory of thermoelasticity. We prove existence and uniqueness of the local-in-time strong solution. Also, some global-in-time weak measure valued solutions are proven to exist. To this end we introduce an auxiliary problem with artificial viscosity and prove its global-in-time well-posedness.…
▽ More
We study a one-dimensional nonlinear hyperbolic-parabolic initial boundary value problem occurring in the theory of thermoelasticity. We prove existence and uniqueness of the local-in-time strong solution. Also, some global-in-time weak measure valued solutions are proven to exist. To this end we introduce an auxiliary problem with artificial viscosity and prove its global-in-time well-posedness. Next, we show that solutions of the auxiliary problem converge, at some short time interval to the strong solution, and to our measure valued solution for an arbitrary time.
△ Less
Submitted 28 May, 2020; v1 submitted 8 March, 2020;
originally announced March 2020.
-
Boundedness of solutions to the critical fully parabolic quasilinear one-dimensional Keller-Segel system
Authors:
Bartosz Bieganowski,
Tomasz Cieślak,
Kentarou Fujie,
Takasi Senba
Abstract:
In this paper we consider a one-dimensional fully parabolic quasilinear Keller-Segel system with critical nonlinear diffusion. We show uniform-in-time boundedness of solutions, which means, that unlike in higher dimensions, there is no critical mass phenomenon in the case of critical diffusion. To this end we utilize estimates from a well-known Lyapunov functional and a recently introduced new Lya…
▽ More
In this paper we consider a one-dimensional fully parabolic quasilinear Keller-Segel system with critical nonlinear diffusion. We show uniform-in-time boundedness of solutions, which means, that unlike in higher dimensions, there is no critical mass phenomenon in the case of critical diffusion. To this end we utilize estimates from a well-known Lyapunov functional and a recently introduced new Lyapunov-like functional in [3].
△ Less
Submitted 26 March, 2018; v1 submitted 21 December, 2017;
originally announced December 2017.
-
No critical nonlinear diffusion in 1D quasilinear fully parabolic chemotaxis system
Authors:
Tomasz Cieślak,
Kentarou Fujie
Abstract:
This paper deals with the fully parabolic 1d chemotaxis system with diffusion 1/(1 + u). We prove that the above mentioned nonlinearity, despite being a natural candidate, is not critical. It means that for such a diffusion any initial condition, independently on the magnitude of mass, generates global-in-time solution. In view of our theorem one sees that one-dimensional Keller- Segel system is e…
▽ More
This paper deals with the fully parabolic 1d chemotaxis system with diffusion 1/(1 + u). We prove that the above mentioned nonlinearity, despite being a natural candidate, is not critical. It means that for such a diffusion any initial condition, independently on the magnitude of mass, generates global-in-time solution. In view of our theorem one sees that one-dimensional Keller- Segel system is essentially different than its higher-dimensional versions. In order to prove our theorem we establish a new Lyapunov-like functional associated to the system. The information we gain from our new functional (together with some estimates based on the well-known old Lyapunov functional) turns out to be rich enough to establish global existence for the initial-boundary value problem.
△ Less
Submitted 29 May, 2017;
originally announced May 2017.
-
Global existence in the 1D quasilinear parabolic-elliptic chemotaxis system with critical nonlinearity
Authors:
Tomasz Cieślak,
Kentarou Fujie
Abstract:
The paper should be viewed as complement of an earlier result in [8]. In the paper just mentioned it is shown that 1d case of a quasilinear parabolic-elliptic Keller-Segel system is very special. Namely, unlike in higher dimensions, there is no critical nonlinearity. Indeed, for the nonlinear diffusion of the form 1/u all the solutions, independently on the magnitude of initial mass, stay bounded.…
▽ More
The paper should be viewed as complement of an earlier result in [8]. In the paper just mentioned it is shown that 1d case of a quasilinear parabolic-elliptic Keller-Segel system is very special. Namely, unlike in higher dimensions, there is no critical nonlinearity. Indeed, for the nonlinear diffusion of the form 1/u all the solutions, independently on the magnitude of initial mass, stay bounded. However, the argument presented in [8] deals with the Jager-Luckhaus type system. And is very sensitive to this restriction. Namely, the change of variables introduced in [8], being a main step of the method, works only for the Jager-Luckhaus modification. It does not seem to be applicable in the usual version of the parabolic-elliptic Keller-Segel system. The present paper fulfils this gap and deals with the case of the usual parabolic-elliptic version. To handle it we establish a new Lyapunov-like functional (it is related to what was done in [8]), which leads to global existence of the initial-boundary value problem for any initial mass.
△ Less
Submitted 23 May, 2017;
originally announced May 2017.
-
Local criteria for blowup in two-dimensional chemotaxis models
Authors:
Piotr Biler,
Tomasz Cieślak,
Grzegorz Karch,
Jacek Zienkiewicz
Abstract:
We consider two-dimensional versions of the Keller--Segel model for the chemotaxis with either classical (Brownian) or fractional (anomalous) diffusion. Criteria for blowup of solutions in terms of suitable Morrey spaces norms are derived. Moreover, the impact of the consumption term on the global-in-time existence of solutions is analyzed for the classical Keller--Segel system.
We consider two-dimensional versions of the Keller--Segel model for the chemotaxis with either classical (Brownian) or fractional (anomalous) diffusion. Criteria for blowup of solutions in terms of suitable Morrey spaces norms are derived. Moreover, the impact of the consumption term on the global-in-time existence of solutions is analyzed for the classical Keller--Segel system.
△ Less
Submitted 5 April, 2016; v1 submitted 28 October, 2014;
originally announced October 2014.
-
Maximal dissipation in Hunter-Saxton equation for bounded energy initial data
Authors:
Tomasz Cieślak,
Grzegorz Jamróz
Abstract:
In [Zhang and Zheng, 2005] it was conjectured by Zhang and Zheng that dissipative solutions of the Hunter-Saxton equation, which are known to be unique in the class of weak solutions, dissipate the energy at the highest possible rate. The conjecture of Zhang and Zheng was proven in [Dafermos, 2012] by Dafermos for monotone increasing initial data with bounded energy. In this note we prove the conj…
▽ More
In [Zhang and Zheng, 2005] it was conjectured by Zhang and Zheng that dissipative solutions of the Hunter-Saxton equation, which are known to be unique in the class of weak solutions, dissipate the energy at the highest possible rate. The conjecture of Zhang and Zheng was proven in [Dafermos, 2012] by Dafermos for monotone increasing initial data with bounded energy. In this note we prove the conjecture in [Zhang and Zheng, 2005] in full generality. To this end we examine the evolution of the energy of any weak solution of the Hunter-Saxton equation. Our proof shows in fact that for every time $t>0$ the energy of the dissipative solution is not greater than the energy of any weak solution with the same initial data.
△ Less
Submitted 24 March, 2015; v1 submitted 29 May, 2014;
originally announced May 2014.
-
New critical exponents in a fully parabolic quasilinear Keller-Segel and applications to volume filling models
Authors:
Tomasz Cieślak,
Christian Stinner
Abstract:
We carry on our studies related to the fully parabolic quasilinear Keller-Segel system started in [6] and continued in [7]. In the above mentioned papers we proved finite-time blowup of radially symmetric solutions to the quasilinear Keller-Segel system if the nonlinear chemosensitivity is strong enough and an adequate relation between nonlinear diffusion and chemosensitivity holds. On the other h…
▽ More
We carry on our studies related to the fully parabolic quasilinear Keller-Segel system started in [6] and continued in [7]. In the above mentioned papers we proved finite-time blowup of radially symmetric solutions to the quasilinear Keller-Segel system if the nonlinear chemosensitivity is strong enough and an adequate relation between nonlinear diffusion and chemosensitivity holds. On the other hand we proved that once chemosensitivity is weak enough solutions exist globally in time. The present paper is devoted to looking for critical exponents distinguishing between those two behaviors. Moreover, we apply our results to the so-called volume filling models with a power-type probability jump function. The most important consequence of our investigations of the latter is a critical mass phenomenon found in dimension 2. Namely we find a value m0 such that when the solution to the two-dimensional volume filling Keller-Segel system starts with mass smaller than m0, then it is bounded, while for initial data with mass exceeding m0 solutions are unbounded, though being defined for any positive time.
△ Less
Submitted 27 March, 2014;
originally announced March 2014.
-
A theorem on measures in dimension 2 and applications to vortex sheets
Authors:
Tomasz Cieslak,
Marta Szumanska
Abstract:
We find conditions under which measures belong to . Next we show that measures generated by Prandtl, Kaden as well as Pullin spirals, objects considered by physicists as incompressible flows generating vorticity, satisfy assumptions of our theorem, thus they are (locally) elements of . Moreover, as a by-product, we prove an embedding of the space of Morrey type measures in .
We find conditions under which measures belong to . Next we show that measures generated by Prandtl, Kaden as well as Pullin spirals, objects considered by physicists as incompressible flows generating vorticity, satisfy assumptions of our theorem, thus they are (locally) elements of . Moreover, as a by-product, we prove an embedding of the space of Morrey type measures in .
△ Less
Submitted 9 October, 2013;
originally announced October 2013.
-
Unboundedness of solutions to a supercritical quasilinear parabolic-parabolic Keller-Segel system in dimension 1 and to a critical one in higher dimensions
Authors:
Tomasz Cieślak
Abstract:
Unboundedness of solutions is shown to occur in a one-dimensional quasilinear parabolicparabolic chemotaxis system for any initial mass. Our result is also independent of the relation between the speeds of the diffusion of cells and chemoattractant. The proof is achieved by contradiction. It uses a virial type inequality together with a boundedness from below of the Liapunov functional associated…
▽ More
Unboundedness of solutions is shown to occur in a one-dimensional quasilinear parabolicparabolic chemotaxis system for any initial mass. Our result is also independent of the relation between the speeds of the diffusion of cells and chemoattractant. The proof is achieved by contradiction. It uses a virial type inequality together with a boundedness from below of the Liapunov functional associated to the system. Moreover, the same method is applied also in higher dimensions and an unboundedness result is shown in the case of critical quasilinear fully parabolic Keller-Segel system for mass large enough in dimensions n\geq 3. Key words: chemotaxis, infinite-time blowup.
△ Less
Submitted 3 December, 2012;
originally announced December 2012.
-
Long-time behavior of an angiogenesis model with flux at the tumor boundary
Authors:
Tomasz Cieslak,
Cristian Morales-Rodrigo
Abstract:
This paper deals with a nonlinear system of partial differential equations modeling a simplified tumor-induced angiogenesis taking into account only the interplay between tumor angiogenic factors and endothelial cells. Considered model assumes a nonlinear flux at the tumor boundary and a nonlinear chemotactic response. It is proved that the choice of some key parameters influences the long-time be…
▽ More
This paper deals with a nonlinear system of partial differential equations modeling a simplified tumor-induced angiogenesis taking into account only the interplay between tumor angiogenic factors and endothelial cells. Considered model assumes a nonlinear flux at the tumor boundary and a nonlinear chemotactic response. It is proved that the choice of some key parameters influences the long-time behaviour of the system. More precisely, we show the convergence of solutions to different semi-trivial stationary states for different range of parameters.
△ Less
Submitted 21 February, 2012;
originally announced February 2012.
-
Finite-time blowup in a supercritical quasilinear parabolic-parabolic Keller-Segel system in dimension 2
Authors:
Tomasz Cieślak,
Christian Stinner
Abstract:
In this paper we prove finite-time blowup of radially symmetric solutions to the quasilinear parabolic-parabolic two-dimensional Keller-Segel system for any positive mass. This is done in case of nonlinear diffusion and also in the case of nonlinear cross-diffusion provided the nonlinear chemosensitivity term is assumed not to decay. Moreover, it is shown that the above-mentioned lack of non-decay…
▽ More
In this paper we prove finite-time blowup of radially symmetric solutions to the quasilinear parabolic-parabolic two-dimensional Keller-Segel system for any positive mass. This is done in case of nonlinear diffusion and also in the case of nonlinear cross-diffusion provided the nonlinear chemosensitivity term is assumed not to decay. Moreover, it is shown that the above-mentioned lack of non-decay assumption is essential with respect to keeping the dichotomy finite-time blowup against boundedness of solutions. Namely, we prove that without the non-decay assumption possible asymptotic behaviour of solutions includes also infinite-time blowup.
△ Less
Submitted 16 January, 2012;
originally announced January 2012.
-
Finite-time blowup and global-in-time unbounded solutions to a parabolic-parabolic quasilinear Keller-Segel system in higher dimensions
Authors:
Tomasz Cieślak,
Christian Stinner
Abstract:
In this paper we consider quasilinear Keller-Segel type systems of two kinds in higher dimensions. In the case of a nonlinear diffusion system we prove an optimal (with respect to possible nonlinear diffusions generating explosion in finite time of solutions) finite-time blowup result. In the case of a cross-diffusion system we give results which are optimal provided one assumes some proper non-de…
▽ More
In this paper we consider quasilinear Keller-Segel type systems of two kinds in higher dimensions. In the case of a nonlinear diffusion system we prove an optimal (with respect to possible nonlinear diffusions generating explosion in finite time of solutions) finite-time blowup result. In the case of a cross-diffusion system we give results which are optimal provided one assumes some proper non-decay of a nonlinear chemical sensitivity. Moreover, we show that once we do not assume the above mentioned non-decay, our result cannot be as strong as in the case of nonlinear diffusion without nonlinear cross-diffusion terms. To this end we provide an example, interesting by itself, of global-in-time unbounded solutions to the nonlinear cross-diffusion Keller-Segel system with chemical sensitivity decaying fast enough, in a range of parameters in which there is a finite-time blowup result in a corresponding case without nonlinear cross-diffusion.
△ Less
Submitted 28 December, 2011;
originally announced December 2011.
-
Does the fully parabolic quasilinear 1D Keller-Segel system enjoy long-time asymptotics analogous to its parabolic-elliptic simplification?
Authors:
Jan Burczak,
Tomasz Cieślak,
Cristian Morales-Rodrigo
Abstract:
We show that the one-dimensional fully parabolic Keller-Segel system with nonlinear diffusion possesses global-in-time solutions, provided the nonlinear diffusion is equal to (1+u)^{-α}, for α< 1, independently on the volume of the initial data. We also show that in the critical case, i.e. for α= 1, the same result holds for initial masses smaller than a prescribed constant. Additionally, we prove…
▽ More
We show that the one-dimensional fully parabolic Keller-Segel system with nonlinear diffusion possesses global-in-time solutions, provided the nonlinear diffusion is equal to (1+u)^{-α}, for α< 1, independently on the volume of the initial data. We also show that in the critical case, i.e. for α= 1, the same result holds for initial masses smaller than a prescribed constant. Additionally, we prove existence of initial data for which solution blows up in a finite time for any nonlinear diffusion integrable at infinity. Thus we generalize the known blowup result of parabolic-elliptic case to the fully parabolic one. However, in the parabolic-elliptic case the above mentioned integrability condition on nonlinear diffusion sharply distinguishes between global existence and blowup cases. We are unable to recover the entire global existence counterpart of this result in a fully parabolic case.
△ Less
Submitted 14 November, 2011; v1 submitted 7 November, 2011;
originally announced November 2011.
-
Global existence vs. blowup for the one dimensional quasilinear Smoluchowski-Poisson system
Authors:
Tomasz Cieslak,
Philippe Laurencot
Abstract:
We prove that, unlike in several space dimensions, there is no critical (nonlinear) diffusion coefficient for which solutions to the one dimensional quasilinear Smoluchowski-Poisson equation with small mass exist globally while finite time blowup could occur for solutions with large mass.
We prove that, unlike in several space dimensions, there is no critical (nonlinear) diffusion coefficient for which solutions to the one dimensional quasilinear Smoluchowski-Poisson equation with small mass exist globally while finite time blowup could occur for solutions with large mass.
△ Less
Submitted 5 February, 2010;
originally announced February 2010.
-
Looking for critical nonlinearity in the one-dimensional quasilinear Smoluchowski-Poisson system
Authors:
Tomasz Cieślak,
Philippe Laurençot
Abstract:
It is known that classical solutions to the one-dimensional quasilinear Smoluchowski-Poisson system with nonlinear diffusion $a(u)=(1+u)^{-p}$ may blow up in finite time if $p>1$ and exist globally if $p<1$. The case $p=1$ thus appears to be critical but it turns out that all solutions are global also in that case. Two classes of diffusion coefficients are actually identified in this paper, one…
▽ More
It is known that classical solutions to the one-dimensional quasilinear Smoluchowski-Poisson system with nonlinear diffusion $a(u)=(1+u)^{-p}$ may blow up in finite time if $p>1$ and exist globally if $p<1$. The case $p=1$ thus appears to be critical but it turns out that all solutions are global also in that case. Two classes of diffusion coefficients are actually identified in this paper, one for which all solutions to the corresponding quasilinear Smoluchowski-Poisson system are global and the other one leading to finite time blow-up for sufficiently concentrated initial data. The cornerstone of the proof are an alternative formulation of the Smoluchowski-Poisson system which relies on a novel change of variables and a virial identity.
△ Less
Submitted 19 February, 2009;
originally announced February 2009.
-
Finite time blow-up for a one-dimensional quasilinear parabolic-parabolic chemotaxis system
Authors:
Tomasz Cieślak,
Philippe Laurençot
Abstract:
Finite time blow-up is shown to occur for solutions to a one-dimensional quasilinear parabolic-parabolic chemotaxis system as soon as the mean value of the initial condition exceeds some threshold value. The proof combines a novel identity of virial type with the boundedness from below of the Liapunov functional associated to the system, the latter being peculiar to the one-dimensional setting.
Finite time blow-up is shown to occur for solutions to a one-dimensional quasilinear parabolic-parabolic chemotaxis system as soon as the mean value of the initial condition exceeds some threshold value. The proof combines a novel identity of virial type with the boundedness from below of the Liapunov functional associated to the system, the latter being peculiar to the one-dimensional setting.
△ Less
Submitted 19 October, 2008;
originally announced October 2008.
-
Finite time blow-up for radially symmetric solutions to a critical quasilinear Smoluchowski-Poisson system
Authors:
Tomasz Cieślak,
Philippe Laurençot
Abstract:
Finite time blow-up is shown to occur for radially symmetric solutions to a critical quasilinear Smoluchowski-Poisson system provided that the mass of the initial condition exceeds an explicit threshold. In the supercritical case, blow-up is shown to take place for any positive mass. The proof relies on a novel identity of virial type.
Finite time blow-up is shown to occur for radially symmetric solutions to a critical quasilinear Smoluchowski-Poisson system provided that the mass of the initial condition exceeds an explicit threshold. In the supercritical case, blow-up is shown to take place for any positive mass. The proof relies on a novel identity of virial type.
△ Less
Submitted 19 October, 2008;
originally announced October 2008.
