-
Regularity of velocity averages in kinetic equations with heterogeneity
Authors:
Marko Erceg,
Kenneth H. Karlsen,
Darko Mitrović
Abstract:
This study investigates the regularity of kinetic equations with spatial heterogeneity. Recent progress has shown that velocity averages of weak solutions $h$ in $L^p$ ($p>1$) are strongly $L^1_{\text{loc}}$ compact under the natural non-degeneracy condition. We establish regularity estimates for equations with an $\boldsymbol{x}$-dependent drift vector…
▽ More
This study investigates the regularity of kinetic equations with spatial heterogeneity. Recent progress has shown that velocity averages of weak solutions $h$ in $L^p$ ($p>1$) are strongly $L^1_{\text{loc}}$ compact under the natural non-degeneracy condition. We establish regularity estimates for equations with an $\boldsymbol{x}$-dependent drift vector $\mathfrak{f} = \mathfrak{f}(\boldsymbol{x}, \boldsymbolλ)$, which satisfies a quantitative version of the non-degeneracy condition. We prove that $(t,\boldsymbol{x}) \mapsto \int ρ(\boldsymbolλ) h(t,\boldsymbol{x},\boldsymbolλ)\, d\boldsymbolλ$, for any sufficiently regular $ρ(\cdot)$, belongs to the fractional Sobolev space $W_{\text{loc}}^{β,r}$, for some regularity $β\in (0,1)$ and integrability $r \geq 1$ exponents. While such estimates have long been known for $\boldsymbol{x}$-independent drift vectors $\mathfrak{f}=\mathfrak{f}(\boldsymbolλ)$, this is the first quantitative regularity estimate in a general heterogeneous setting. As an application, we obtain a regularity estimate for entropy solutions to heterogeneous conservation laws with nonlinear flux and $L^\infty$ initial data.
△ Less
Submitted 5 July, 2025;
originally announced July 2025.
-
On the regularity of entropy solutions to stochastic degenerate parabolic equations
Authors:
Marko Erceg,
Kenneth H. Karlsen,
Darko Mitrović
Abstract:
We study the regularity of entropy solutions for quasilinear parabolic equations with anisotropic degeneracy and stochastic forcing. Building on previous works, we establish space-time regularity under a non-degeneracy condition that does not require an assumption on the derivative of the symbol of the corresponding kinetic equation, a restriction imposed in earlier studies. This allows us to obta…
▽ More
We study the regularity of entropy solutions for quasilinear parabolic equations with anisotropic degeneracy and stochastic forcing. Building on previous works, we establish space-time regularity under a non-degeneracy condition that does not require an assumption on the derivative of the symbol of the corresponding kinetic equation, a restriction imposed in earlier studies. This allows us to obtain regularity results for certain equations not accounted for by prior theory, albeit with reduced regularity exponents. Our approach uses a kinetic formulation with two transport equations, one of second order and one of first order, leveraging a form of "parabolic regularity" inherent in these equations that was not utilized in previous studies.
△ Less
Submitted 2 April, 2025;
originally announced April 2025.
-
Viscosity under infinite acceleration assumptions and Navier Stokes equations
Authors:
Darko Mitrovic
Abstract:
We prove existence of smooth solutions to the Navier-Stokes equations with divergence free Schwartz initial data. We demonstrate the latter by considering an (implicit) iterative procedure involving solutions to the Navier-Stokes equations approximated via the retarded mollification. In particular, we use $L^\infty \to L^\infty$ and a new $L^1\cap L^\infty\to L^\infty$ estimate of the Leray projek…
▽ More
We prove existence of smooth solutions to the Navier-Stokes equations with divergence free Schwartz initial data. We demonstrate the latter by considering an (implicit) iterative procedure involving solutions to the Navier-Stokes equations approximated via the retarded mollification. In particular, we use $L^\infty \to L^\infty$ and a new $L^1\cap L^\infty\to L^\infty$ estimate of the Leray projektor.
△ Less
Submitted 2 January, 2025; v1 submitted 4 November, 2024;
originally announced November 2024.
-
Velocity averaging under minimal conditions for deterministic and stochastic kinetic equations with irregular drift
Authors:
Marko Erceg,
Kenneth H. Karlsen,
Darko Mitrović
Abstract:
This study investigates the $L^1_{\operatorname{loc}}$ compactness of velocity averages of sequences of solutions $\{u_n\}$ for a class of kinetic equations. The equations are examined within both deterministic and stochastic heterogeneous environments. The primary objective is to deduce velocity averaging results under conditions on $u_n$ and the drift…
▽ More
This study investigates the $L^1_{\operatorname{loc}}$ compactness of velocity averages of sequences of solutions $\{u_n\}$ for a class of kinetic equations. The equations are examined within both deterministic and stochastic heterogeneous environments. The primary objective is to deduce velocity averaging results under conditions on $u_n$ and the drift ${\mathfrak f}={\mathfrak f}(t,{\boldsymbol x},{\boldsymbol λ})$ that are more lenient than those stipulated in previous studies. The main outcome permits the inclusion of highly irregular drift vectors ${\mathfrak f} \in L^q$ that adhere to a general non-degeneracy condition. Moreover, the sequence $\{u_n\}$ is uniformly bounded in $L^p$ -- for an exponent $p$ allowed to be strictly smaller than $2$ -- under the requirement $\frac{1}{p} + \frac{1}{q} < 1$. Resolving the matter of strong compactness in velocity averages, considering these assumptions, has remained an open problem for a long time. The cornerstone of our work's progress lies in the strategic employment of the broader concept of $H$-distributions, moving beyond the traditional reliance on $H$-measures. Notably, our study represents one of the first significant uses of $H$-distributions in this context.
△ Less
Submitted 2 November, 2023;
originally announced November 2023.
-
Navigating the Complex Landscape of Shock Filter Cahn-Hilliard Equation: From Regularized to Entropy Solutions
Authors:
Darko Mitrovic,
Andrej Novak
Abstract:
Image inpainting involves filling in damaged or missing regions of an image by utilizing information from the surrounding areas. In this paper, we investigate a highly nonlinear partial differential equation inspired by the modified Cahn-Hilliard equation. Instead of using standard potentials that depend solely on pixel intensities, we consider morphological image enhancement filters that are base…
▽ More
Image inpainting involves filling in damaged or missing regions of an image by utilizing information from the surrounding areas. In this paper, we investigate a highly nonlinear partial differential equation inspired by the modified Cahn-Hilliard equation. Instead of using standard potentials that depend solely on pixel intensities, we consider morphological image enhancement filters that are based on a variant of the shock filter: : \begin{align*} \partial_t u &= Δ\left(-ν\arctan(Δu)|\nabla u| - μΔu \right)+ λ(u_0 - u). \end{align*} This is referred to as the Shock Filter Cahn-Hilliard Equation. This equation is nonlinear with respect to the second-order derivative, which poses significant mathematical challenges. To address these, we make use of a specific approximation argument, establishing the existence of a family of approximate solutions through the Leray-Schauder fixed point theorem and the Aubin-Lions lemma. In the limit, we obtain a solution strategy wherein we can prove the existence and uniqueness of solutions. Proving the latter involves the use of Young measures and Kruzhkov entropy type-admissibility conditions. Additionally, we use a numerical method based on the convexity splitting idea to approximate solutions of the nonlinear partial differential equation and achieve fast inpainting results. To demonstrate the effectiveness of our approach, we apply our method to standard binary images and compare it with variations of the Cahn-Hilliard equation commonly used in the field.
△ Less
Submitted 31 May, 2024; v1 submitted 31 October, 2023;
originally announced October 2023.
-
Pre-electoral coalition agreement from the Black-Scholes point of view
Authors:
Darko Mitrovic
Abstract:
A political party can be considered as a company whose value depends on the voters support i.e. on the percentage of population supporting the party. Dynamics of the support is thus as a stochastic process with a deterministic growth rate perturbed by a white noise modeled through the Wiener process. This is in an analogy with the option modeling where the stock price behaves similarly as the vote…
▽ More
A political party can be considered as a company whose value depends on the voters support i.e. on the percentage of population supporting the party. Dynamics of the support is thus as a stochastic process with a deterministic growth rate perturbed by a white noise modeled through the Wiener process. This is in an analogy with the option modeling where the stock price behaves similarly as the voters' support. While in the option theory we have the question of fair price of an option, the question that we ask here is what is a reasonable level of support that the coalition of a major party (safely above the election threshold) and a minor party (under or around the election threshold) should achieve in order the minor party to get one more representative. We shall elaborate some of the conclusions in the case of recent elections in Montenegro (June, 2023) which are particularly interesting due to lots of political subjects entering the race.
△ Less
Submitted 5 February, 2024; v1 submitted 25 October, 2023;
originally announced October 2023.
-
Some fixed points results for extended nonlinear contractions defined on $d-CS$ spaces
Authors:
Zoran D. Mitrovic,
Ivan D. Arandjelovic
Abstract:
In this paper we shall introduced the class of $d-CS$ spaces and so we shall obtained topological approach to large Kasahara spaces. This class include complete symmetric spaces, complete quasi $b$-metric spaces and complete $b$-spaces, but not include $d^*$-complete topological spaces and $d$-complete topological spaces. Further will be presented fixed theorem for nonlinear extended-contraction d…
▽ More
In this paper we shall introduced the class of $d-CS$ spaces and so we shall obtained topological approach to large Kasahara spaces. This class include complete symmetric spaces, complete quasi $b$-metric spaces and complete $b$-spaces, but not include $d^*$-complete topological spaces and $d$-complete topological spaces. Further will be presented fixed theorem for nonlinear extended-contraction defined on this spaces, which generalize earlier results obtaned by Browder, Matkowski, Jachymski, Matkowski and Światkowski, Aranđelović and Kečkić and Alshehri, Aranđelović and Shahzad. Also, we obtain the fixed point theorem for nonlinear extended-contraction defined on quasi-metric spaces which extended recent result's of Pasicki, obtained for pseudo-metric spaces.
△ Less
Submitted 19 September, 2023;
originally announced September 2023.
-
Degenerate parabolic equations -- compactness and regularity of solutions
Authors:
Marko Erceg,
Darko Mitrović
Abstract:
We introduce a new method which resolves the problem of regularity and compactness of entropy solutions for nonlinear degenerate parabolic equations under non-degeneracy conditions on the sphere. In particular, we address a problem of regularity of entropy solutions to homogeneous (autonomous) degenerate parabolic PDEs and existence of weak solutions to heterogeneous degenerate parabolic PDEs (non…
▽ More
We introduce a new method which resolves the problem of regularity and compactness of entropy solutions for nonlinear degenerate parabolic equations under non-degeneracy conditions on the sphere. In particular, we address a problem of regularity of entropy solutions to homogeneous (autonomous) degenerate parabolic PDEs and existence of weak solutions to heterogeneous degenerate parabolic PDEs (non-autonomous PDEs -- with flux and diffusion explicitly depending on the space and time variables). The method of proof is reduction of the equation to a specific kinetic formulation involving two transport equations, one of the second and one of the first order. In the heterogeneous situation, this enables us to use (variants of) the H-measures to get velocity averaging lemmas and then, consequently, existence of a weak solution. In the homogeneous case, the kinetic reformulation makes it possible to get necessary estimates of the solution on the Littlewood-Paley dyadic blocks of the dual space.
△ Less
Submitted 1 September, 2023;
originally announced September 2023.
-
Control theory for nonlinear fractional dispersive systems
Authors:
Maja Jolić,
Sanja Konjik,
Darko Mitrović
Abstract:
We consider a terminal control problem for processes governed by a nonlinear system of fractional ODEs. In order to show existence of the control, we first consider the linear counterpart of the system and reprove a number of classical theorems in the fractional setting (representation of the solution through the Gramian type matrix, Kalman's principle, equivalence of the controllability and obser…
▽ More
We consider a terminal control problem for processes governed by a nonlinear system of fractional ODEs. In order to show existence of the control, we first consider the linear counterpart of the system and reprove a number of classical theorems in the fractional setting (representation of the solution through the Gramian type matrix, Kalman's principle, equivalence of the controllability and observability). We are then in the position to use a fixed point theorem approach and various techniques from the fractional calculus theory to get the desired result.
△ Less
Submitted 24 December, 2022;
originally announced December 2022.
-
A dynamic capillarity equation with stochastic forcing on manifolds: a singular limit problem
Authors:
Kenneth H. Karlsen,
Michael Kunzinger,
Darko Mitrovic
Abstract:
We consider a dynamic capillarity equation with stochastic forcing on a compact Riemannian manifold $(M,g)$. \begin{equation*}\tag{P}
d \left(u_{\varepsilon,δ}-δΔ
u_{\varepsilon,δ}\right)
+\operatorname{div} f_{\varepsilon}(x, u_{\varepsilon,δ})\, dt
=\varepsilon Δu_{\varepsilon,δ}\, dt
Φ(x, u_{\varepsilon,δ})\, dW_t, \end{equation*} where $f_{\varepsilon}$ is a sequence of smooth vector…
▽ More
We consider a dynamic capillarity equation with stochastic forcing on a compact Riemannian manifold $(M,g)$. \begin{equation*}\tag{P}
d \left(u_{\varepsilon,δ}-δΔ
u_{\varepsilon,δ}\right)
+\operatorname{div} f_{\varepsilon}(x, u_{\varepsilon,δ})\, dt
=\varepsilon Δu_{\varepsilon,δ}\, dt
Φ(x, u_{\varepsilon,δ})\, dW_t, \end{equation*} where $f_{\varepsilon}$ is a sequence of smooth vector fields converging in $L^p(M\times \Bbb{R})$ ($p>2$) as $\varepsilon\downarrow 0$ towards a vector field $f\in L^p(M;C^1(\Bbb{R}))$, and $W_t$ is a Wiener process defined on a filtered probability space. First, for fixed values of $\varepsilon$ and $δ$, we establish the existence and uniqueness of weak solutions to the Cauchy problem for (P). Assuming that $f$ is non-degenerate and that $\varepsilon$ and $δ$ tend to zero with $δ/\varepsilon^2$ bounded, we show that there exists a subsequence of solutions that strongly converges in $L^1_{ω,t,x}$ to a martingale solution of the following stochastic conservation law with discontinuous flux: $$ d u +\operatorname{div} f(x, u)\,dt=Φ(u)\, dW_t. $$ The proofs make use of Galerkin approximations, kinetic formulations as well as $H$-measures and new velocity averaging results for stochastic continuity equations. The analysis relies in an essential way on the use of a.s.~representations of random variables in some particular quasi-Polish spaces. The convergence framework developed here can be applied to other singular limit problems for stochastic conservation laws.
△ Less
Submitted 23 September, 2023; v1 submitted 30 October, 2022;
originally announced October 2022.
-
Some conditions implying stability of graphs
Authors:
Ademir Hujdurović,
Đorđe Mitrović
Abstract:
A graph $X$ is said to be unstable if the direct product $X\times K_2$ (also called the canonical double cover of $X$) has automorphisms that do not come from automorphisms of its factors $X$ and $K_2$. It is non-trivially unstable if it is unstable, connected, non-bipartite, and distinct vertices have distinct sets of neighbours. In this paper, we prove two sufficient conditions for stability of…
▽ More
A graph $X$ is said to be unstable if the direct product $X\times K_2$ (also called the canonical double cover of $X$) has automorphisms that do not come from automorphisms of its factors $X$ and $K_2$. It is non-trivially unstable if it is unstable, connected, non-bipartite, and distinct vertices have distinct sets of neighbours. In this paper, we prove two sufficient conditions for stability of graphs in which every edge lies on a triangle, revising an incorrect claim of Surowski and filling in some gaps in the proof of another one. We also consider triangle-free graphs, and prove that there are no non-trivially unstable triangle-free graphs of diameter 2. An interesting construction of non-trivially unstable graphs is given and several open problems are posed.
△ Less
Submitted 27 October, 2022;
originally announced October 2022.
-
On automorphisms of the double cover of a circulant graph
Authors:
Ademir Hujdurović,
Đorđe Mitrović,
Dave Witte Morris
Abstract:
A graph $X$ is said to be "unstable" if the direct product $X \times K_2$ (also called the canonical double cover of $X$) has automorphisms that do not come from automorphisms of its factors $X$ and $K_2$. It is "nontrivially unstable" if it is unstable, connected, and nonbipartite, and no two distinct vertices of X have exactly the same neighbors.
We find three new conditions that each imply a…
▽ More
A graph $X$ is said to be "unstable" if the direct product $X \times K_2$ (also called the canonical double cover of $X$) has automorphisms that do not come from automorphisms of its factors $X$ and $K_2$. It is "nontrivially unstable" if it is unstable, connected, and nonbipartite, and no two distinct vertices of X have exactly the same neighbors.
We find three new conditions that each imply a circulant graph is unstable. (These yield infinite families of nontrivially unstable circulant graphs that were not previously known.) We also find all of the nontrivially unstable circulant graphs of order $2p$, where $p$ is any prime number.
Our results imply that there does not exist a nontrivially unstable circulant graph of order $n$ if and only if either $n$ is odd, or $n < 8$, or $n = 2p$, for some prime number $p$ that is congruent to $3$ modulo $4$.
△ Less
Submitted 12 August, 2021;
originally announced August 2021.
-
Automorphisms of the double cover of a circulant graph of valency at most 7
Authors:
Ademir Hujdurović,
Đorđe Mitrović,
Dave Witte Morris
Abstract:
A graph $X$ is said to be unstable if the direct product $X \times K_2$ (also called the canonical double cover of $X$) has automorphisms that do not come from automorphisms of its factors $X$ and $K_2$. It is nontrivially unstable if it is unstable, connected, and non-bipartite, and no two distinct vertices of X have exactly the same neighbors.
We find all of the nontrivially unstable circulant…
▽ More
A graph $X$ is said to be unstable if the direct product $X \times K_2$ (also called the canonical double cover of $X$) has automorphisms that do not come from automorphisms of its factors $X$ and $K_2$. It is nontrivially unstable if it is unstable, connected, and non-bipartite, and no two distinct vertices of X have exactly the same neighbors.
We find all of the nontrivially unstable circulant graphs of valency at most $7$. (They come in several infinite families.) We also show that the instability of each of these graphs is explained by theorems of Steve Wilson. This is best possible, because there is a nontrivially unstable circulant graph of valency $8$ that does not satisfy the hypotheses of any of Wilson's four instability theorems for circulant graphs.
△ Less
Submitted 11 August, 2021;
originally announced August 2021.
-
Global Controllability for Quasilinear Non-negative Definite System of ODEs and SDEs
Authors:
Jasmina Djordjevic,
Sanja Konjik,
Darko Mitrović,
Andrej Novak
Abstract:
We consider exact and averaged control problem for a system of quasi-linear ODEs and SDEs with a non-negative definite symmetric matrix of the system. The strategy of the proof is the standard linearization of the system by fixing the function appearing in the nonlinear part of the system, and then applying the Leray-Schauder fixed point theorem. We shall also need the continuous induction argumen…
▽ More
We consider exact and averaged control problem for a system of quasi-linear ODEs and SDEs with a non-negative definite symmetric matrix of the system. The strategy of the proof is the standard linearization of the system by fixing the function appearing in the nonlinear part of the system, and then applying the Leray-Schauder fixed point theorem. We shall also need the continuous induction arguments to prolong the control to the final state which is a novel approach in the field. This enables us to obtain controllability for arbitrarily large initial data (so called global controllability).
△ Less
Submitted 14 June, 2021;
originally announced June 2021.
-
Velocity averaging for diffusive transport equations with discontinuous flux
Authors:
Marko Erceg,
Marin Mišur,
Darko Mitrović
Abstract:
We consider a diffusive transport equation with discontinuous flux and prove the velocity averaging result under non-degeneracy conditions. In order to achieve the result, we introduce a new variant of micro-local defect functionals which are able to ``recognise'' changes of the type of the equation. As a corollary, we show the existence of a weak solution for the Cauchy problem for nonlinear dege…
▽ More
We consider a diffusive transport equation with discontinuous flux and prove the velocity averaging result under non-degeneracy conditions. In order to achieve the result, we introduce a new variant of micro-local defect functionals which are able to ``recognise'' changes of the type of the equation. As a corollary, we show the existence of a weak solution for the Cauchy problem for nonlinear degenerate parabolic equation with discontinuous flux. We also show existence of strong traces at $t=0$ for so-called quasi-solutions to degenerate parabolic equations under non-degeneracy conditions on the diffusion term.
△ Less
Submitted 7 October, 2022; v1 submitted 19 August, 2020;
originally announced August 2020.
-
Strong traces to degenerate parabolic equations
Authors:
Marko Erceg,
Darko Mitrović
Abstract:
We prove existence of strong traces at $t=0$ for quasi-solutions to (multidimensional) degenerate parabolic equations with no non-degeneracy conditions. In order to solve the problem, we combine the blow up method and a strong precompactness result for quasi-solutions to degenerate parabolic equations with the induction argument with respect to the space dimension.
We prove existence of strong traces at $t=0$ for quasi-solutions to (multidimensional) degenerate parabolic equations with no non-degeneracy conditions. In order to solve the problem, we combine the blow up method and a strong precompactness result for quasi-solutions to degenerate parabolic equations with the induction argument with respect to the space dimension.
△ Less
Submitted 7 October, 2022; v1 submitted 19 August, 2020;
originally announced August 2020.
-
A tight Hermite-Hadamard's inequality and a generic method for comparison between residuals of inequalities with convex functions
Authors:
Milan Merkle,
Zoran D. Mitrović
Abstract:
We present a tight parametrical Hermite-Hadamard type inequality with probability measure, which yields a considerably closer upper bound for the mean value of convex function than the classical one. Our inequality becomes equality not only with affine functions, but also with a family of V-shaped curves determined by the parameter. The residual (error) of this inequality is strictly smaller than…
▽ More
We present a tight parametrical Hermite-Hadamard type inequality with probability measure, which yields a considerably closer upper bound for the mean value of convex function than the classical one. Our inequality becomes equality not only with affine functions, but also with a family of V-shaped curves determined by the parameter. The residual (error) of this inequality is strictly smaller than in the classical Hermite-Hadamard inequality under any probability measure and with all non-affine convex functions. In the framework of Karamata's theorem on the inequalities with convex functions, we propose a method of measuring a global performance of inequalities in terms of average residuals over functions of the type $x\mapsto |x-u|$. Using average residuals enables comparing two or more inequalities as themselves, with same or different measures and without referring to a particular function. Our method is applicable to all Karamata's type inequalities, with integrals or sums. A numerical experiment with three different measures indicates that the average residual in our inequality is about 4 times smaller than in classical right Hermite-Hadamard, and also is smaller than in Jensen's inequality, with all three measures.
△ Less
Submitted 16 April, 2020;
originally announced April 2020.
-
Well-posedness for stochastic scalar conservation laws on Riemannian manifolds
Authors:
Nikola Konatar,
Darko Mitrovic,
Eduard Nigsch
Abstract:
We consider the scalar conservation law with stochastic forcing $$ \partial_t u +\mathrm{div}_g {\mathfrak f}(\mx,u)= Φ(\mx,u) dW, \ \ {\bf x} \in M, \ \ t\geq 0 $$ on a smooth compact Riemannian manifold $(M,g)$ where $W$ is the Wiener process and ${\bf x}\mapsto {\mathfrak f}(\mx,ξ)$ is a vector field on $M$ for each $ξ\in {\bf R}$. We introduce admissibility conditions, derive the kinetic formu…
▽ More
We consider the scalar conservation law with stochastic forcing $$ \partial_t u +\mathrm{div}_g {\mathfrak f}(\mx,u)= Φ(\mx,u) dW, \ \ {\bf x} \in M, \ \ t\geq 0 $$ on a smooth compact Riemannian manifold $(M,g)$ where $W$ is the Wiener process and ${\bf x}\mapsto {\mathfrak f}(\mx,ξ)$ is a vector field on $M$ for each $ξ\in {\bf R}$. We introduce admissibility conditions, derive the kinetic formulation and use it to prove well posedness.
△ Less
Submitted 10 December, 2018; v1 submitted 6 September, 2018;
originally announced September 2018.
-
A new survey: Cone metric spaces
Authors:
Suzana Aleksic,
Zoran Kadelburg,
Zoran D. Mitrovic,
Stojan Radenovic
Abstract:
The purpose of this new survey paper is, among other things, to collect in one place most of the articles on cone (abstract, K-metric) spaces, published after 2007. This list can be useful to young researchers trying to work in this part of functional and nonlinear analysis. On the other hand, the existing review papers on cone metric spaces are updated.
The main contribution is the observation…
▽ More
The purpose of this new survey paper is, among other things, to collect in one place most of the articles on cone (abstract, K-metric) spaces, published after 2007. This list can be useful to young researchers trying to work in this part of functional and nonlinear analysis. On the other hand, the existing review papers on cone metric spaces are updated.
The main contribution is the observation that it is usually redundant to treat the case when the underlying cone is solid and non-normal. Namely, using simple properties of cones and Minkowski functionals, it is shown that the problems can be usually reduced to the case when the cone is normal, even with the respective norm being monotone. Thus, we offer a synthesis of the respective fixed point problems arriving at the conclusion that they can be reduced to their standard metric counterparts. However, this does not mean that the whole theory of cone metric spaces is redundant, since some of the problems remain which cannot be treated in this way, which is also shown in the present article.
△ Less
Submitted 12 May, 2018;
originally announced May 2018.
-
A vanishing dynamic capillarity limit equation with discontinuous flux
Authors:
Melanie Graf,
Michael Kunzinger,
Darko Mitrovic,
Djordjie Vujadinovic
Abstract:
We prove existence and uniqueness of a solution to the Cauchy problem corresponding to the equation \begin{equation*} \begin{cases} \partial_t u_{\varepsilon,δ} +\mathrm{div} {\mathfrak f}_{\varepsilon,δ}({\bf x}, u_{\varepsilon,δ})=\varepsilon Δu_{\varepsilon,δ}+δ(\varepsilon) \partial_t Δu_{\varepsilon,δ}, \ \ {\bf x} \in M, \ \ t\geq 0 u|_{t=0}=u_0({\bf x}). \end{cases} \end{equation*} Here,…
▽ More
We prove existence and uniqueness of a solution to the Cauchy problem corresponding to the equation \begin{equation*} \begin{cases} \partial_t u_{\varepsilon,δ} +\mathrm{div} {\mathfrak f}_{\varepsilon,δ}({\bf x}, u_{\varepsilon,δ})=\varepsilon Δu_{\varepsilon,δ}+δ(\varepsilon) \partial_t Δu_{\varepsilon,δ}, \ \ {\bf x} \in M, \ \ t\geq 0 u|_{t=0}=u_0({\bf x}). \end{cases} \end{equation*} Here, ${\mathfrak f}_{\varepsilon,δ}$ and $u_0$ are smooth functions while $\varepsilon$ and $δ=δ(\varepsilon)$ are fixed constants. Assuming ${\mathfrak f}_{\varepsilon,δ} \to {\mathfrak f} \in L^p( \mathbb{R}^d\times \mathbb{R};\mathbb{R}^d)$ for some $1<p<\infty$, strongly as $\varepsilon\to 0$, we prove that, under an appropriate relationship between $\varepsilon$ and $δ(\varepsilon)$ depending on the regularity of the flux ${\mathfrak f}$, the sequence of solutions $(u_{\varepsilon,δ})$ strongly converges in $L^1_{loc}(\mathbb{R}^+\times \mathbb{R}^d)$ towards a solution to the conservation law $$ \partial_t u +\mathrm{div} {\mathfrak f}({\bf x}, u)=0. $$ The main tools employed in the proof are the Leray-Schauder fixed point theorem for the first part and reduction to the kinetic formulation combined with recent results in the velocity averaging theory for the second.
△ Less
Submitted 4 November, 2020; v1 submitted 7 May, 2018;
originally announced May 2018.
-
Existence and Uniqueness of Singular Solutions for a Conservation Law Arising in Magnetohydrodynamics
Authors:
Henrik Kalisch,
Darko Mitrovic,
Vincent Teyekpiti
Abstract:
The Brio system is a two-by-two system of conservation laws arising as a simplified model in ideal magnetohydrodynamics (MHD). The system has the form \begin{align*} \partial_t u+\partial_x \Big({\textstyle \frac{u^2+v^2}{2}}\Big)=0,\\ \partial_t v+\partial_x \big(v(u-1)\big)=0. \end{align*} It was found in previous works that the standard theory of hyperbolic conservation laws does not apply to t…
▽ More
The Brio system is a two-by-two system of conservation laws arising as a simplified model in ideal magnetohydrodynamics (MHD). The system has the form \begin{align*} \partial_t u+\partial_x \Big({\textstyle \frac{u^2+v^2}{2}}\Big)=0,\\ \partial_t v+\partial_x \big(v(u-1)\big)=0. \end{align*} It was found in previous works that the standard theory of hyperbolic conservation laws does not apply to this system since the characteristic fields are not genuinely nonlinear on the set $v=0$. As a consequence, certain Riemann problems have no weak solutions in the traditional class of functions of bounded variation.
It was argued in Nonlinearity 9, 1547--1563 (1996) that in order to solve the system, singular solutions containing Dirac masses along the shock waves might have to be used. Solutions of this type were exhibited in Proc. Edinb. Math. Soc. 55, 711--729 (2012) and Russ. J. Math. Phys. 22, 518--527 (2015), but uniqueness was not obtained.
In the current work, we introduce a nonlinear change of variables which makes it possible to solve the Riemann problem in the framework of the standard theory of conservation laws. In addition, we develop a criterion which leads to an admissibility condition for singular solutions of the original system, and it can be shown that admissible solutions are unique in the framework developed here.
△ Less
Submitted 3 March, 2018;
originally announced March 2018.
-
The structure of ${\cal A}$-free measures with uniformly singular part
Authors:
Darko Mitrovic
Abstract:
We prove that a singular part $μ_s$ of a measure $μ$ satisfying ${\cal A}μ=0$ for a linear partial differential operator ${\cal A}$ defined on $R^d$ has the range in the intersection of kernels of the principal symbol of ${\cal A}$ if the singular part is singular with respect to all the variables (uniformly singular) i.e. it is such that for $μ_s$-almost every $x\in R^d$ there exist positive func…
▽ More
We prove that a singular part $μ_s$ of a measure $μ$ satisfying ${\cal A}μ=0$ for a linear partial differential operator ${\cal A}$ defined on $R^d$ has the range in the intersection of kernels of the principal symbol of ${\cal A}$ if the singular part is singular with respect to all the variables (uniformly singular) i.e. it is such that for $μ_s$-almost every $x\in R^d$ there exist positive functions $α(ε), β(ε)$, $ε\in R$, satisfying $\frac{α(ε)}ε\to 0$, $ \fracε{β(ε)}\to 0$ and a set $E_ε\subset B(\mx,α(ε))$ such that $\lim_{ε\to 0}\frac{μ_s(B(x,β(ε)) / E_ε)}{|μ_s|(E_ε)}=0$.
△ Less
Submitted 13 February, 2017; v1 submitted 31 December, 2016;
originally announced January 2017.
-
Well-posedness theory for degenerate parabolic equations on Riemannian manifolds
Authors:
Melanie Graf,
Michael Kunzinger,
Darko Mitrovic
Abstract:
We consider the degenerate parabolic equation $$ \partial_t u +\mathrm{div} {\mathfrak f}_{\bf x}(u)=\mathrm{div}(\mathrm{div} ( A_{\bf x}(u) ) ), \ \ {\bf x} \in M, \ \ t\geq 0 $$ on a smooth, compact, $d$-dimensional Riemannian manifold $(M,g)$. Here, for each $u\in {\mathbb R}$, ${\bf x}\mapsto {\mathfrak f}_{\bf x}(u)$ is a vector field and ${\bf x}\mapsto A_{\bf x}(u)$ is a $(1,1)$-tensor fie…
▽ More
We consider the degenerate parabolic equation $$ \partial_t u +\mathrm{div} {\mathfrak f}_{\bf x}(u)=\mathrm{div}(\mathrm{div} ( A_{\bf x}(u) ) ), \ \ {\bf x} \in M, \ \ t\geq 0 $$ on a smooth, compact, $d$-dimensional Riemannian manifold $(M,g)$. Here, for each $u\in {\mathbb R}$, ${\bf x}\mapsto {\mathfrak f}_{\bf x}(u)$ is a vector field and ${\bf x}\mapsto A_{\bf x}(u)$ is a $(1,1)$-tensor field on $M$ such that $u\mapsto \langle A_{\bf x}(u) {\boldsymbol ξ},{\boldsymbol ξ} \rangle$, ${\boldsymbol ξ}\in T_{\bf x} M$, is non-decreasing with respect to $u$. The fact that the notion of divergence appearing in the equation depends on the metric $g$ requires revisiting the standard entropy admissibility concept. We derive it under an additional geometry compatibility condition and, as a corollary, we introduce the kinetic formulation of the equation on the manifold. Using this concept, we prove well-posedness of the corresponding Cauchy problem.
△ Less
Submitted 18 November, 2022; v1 submitted 24 December, 2016;
originally announced December 2016.
-
Transport-collapse scheme for scalar conservation laws -- initial and boundary value problems
Authors:
Darko Mitrovic,
Andrej Novak
Abstract:
We extend Brenier's transport collapse scheme on the Cauchy problem for heterogeneous scalar conservation laws and initial-boundary value problem for homogeneous scalar conservation laws. It is based on averaging out the solution to the corresponding kinetic equation, and it necessarily converges toward the entropy admissible solution. In the case of initial-boundary value problem, we such a proce…
▽ More
We extend Brenier's transport collapse scheme on the Cauchy problem for heterogeneous scalar conservation laws and initial-boundary value problem for homogeneous scalar conservation laws. It is based on averaging out the solution to the corresponding kinetic equation, and it necessarily converges toward the entropy admissible solution. In the case of initial-boundary value problem, we such a procedure is used to construct a numerical scheme which leads us to a new solution concept for initial-boundary value problem for scalar conservation laws. The concept is a generalization (refinement) of the previous works on initial-boundary value problem. We also provide numerical examples.
△ Less
Submitted 28 October, 2015; v1 submitted 6 August, 2015;
originally announced August 2015.
-
On a generalization of compensated compactness in the $L^p-L^q$ setting
Authors:
Marin Misur,
Darko Mitrovic
Abstract:
We investigate conditions under which, for two sequences $(u_r)$ and $(v_r)$ weakly converging to $u$ and $v$ in $L^p(R^d;R^N)$ and $L^{q}(R^d;R^N)$, respectively, $1/p+1/q \leq 1$, a quadratic form $q(x;u_r,v_r)=\sum\limits_{j,m=1}^N q_{j m}(x)u_{j r} v_{m r}$ converges toward $q(x;u,v)$ in the sense of distributions. The conditions involve fractional derivatives and variable coefficients, and th…
▽ More
We investigate conditions under which, for two sequences $(u_r)$ and $(v_r)$ weakly converging to $u$ and $v$ in $L^p(R^d;R^N)$ and $L^{q}(R^d;R^N)$, respectively, $1/p+1/q \leq 1$, a quadratic form $q(x;u_r,v_r)=\sum\limits_{j,m=1}^N q_{j m}(x)u_{j r} v_{m r}$ converges toward $q(x;u,v)$ in the sense of distributions. The conditions involve fractional derivatives and variable coefficients, and they represent a generalization of the known compensated compactness theory. The proofs are accomplished using a recently introduced $H$-distribution concept. We apply the developed techniques to a nonlinear (degenerate) parabolic equation.
△ Less
Submitted 31 October, 2014; v1 submitted 10 February, 2014;
originally announced February 2014.
-
On the velocity averaging for equations with optimal heterogeneous rough coefficients
Authors:
Martin Lazar,
Darko Mitrovic
Abstract:
Assume that $(u_n)$ is a sequence of solutions to heterogeneous equations with rough coefficients and fractional derivatives, weakly converging to zero in ${\rm L}^p(\R^{d+m})$, with $p>1$.
We prove that the sequence of averaged quantities $(\int ρ(\my) u_n(\mx,\my) d\my)$ is strongly precompact in $\Ljl\Rd$ for any $ρ\in \Cc{\R^m}$, provided that restrictive non-degeneracy conditions are satisf…
▽ More
Assume that $(u_n)$ is a sequence of solutions to heterogeneous equations with rough coefficients and fractional derivatives, weakly converging to zero in ${\rm L}^p(\R^{d+m})$, with $p>1$.
We prove that the sequence of averaged quantities $(\int ρ(\my) u_n(\mx,\my) d\my)$ is strongly precompact in $\Ljl\Rd$ for any $ρ\in \Cc{\R^m}$, provided that restrictive non-degeneracy conditions are satisfied. These are fulfilled for elliptic, parabolic, fractional convection-diffusion equations, as well as for parabolic equations with a fractional time derivative. The main tool that we are using is an adapted version of H-distributions. As a consequence of the introduced methods, we obtain an optimal velocity averaging result in the $\LL p$, $p\geq 2$, framework under the standard non-degeneracy conditions, as well as a connection between the H-measures and the H-distributions.
△ Less
Submitted 1 February, 2014; v1 submitted 16 October, 2013;
originally announced October 2013.
-
Strong traces for averaged solutions of heterogeneous ultra-parabolic transport equations
Authors:
Jelena Aleksic,
Darko Mitrovic
Abstract:
We prove that if traceability conditions are fulfilled then a weak solution $h\in L^\infty(\R^+\times\R^d\times \R)$ to {the ultra-parabolic transport equation} \begin{equation*} \pa_t h + \Div_x \left(F(t,x,λ)h\right)=\sum\limits_{i,j=1}^k\pa^2_{x_i x_j}\left(b_{ij}(t,x,λ) h\right)+\pa_λγ(t,x,λ), \end{equation*} is such that for every $ρ\in C^1_c(\R)$, the velocity averaged quantity…
▽ More
We prove that if traceability conditions are fulfilled then a weak solution $h\in L^\infty(\R^+\times\R^d\times \R)$ to {the ultra-parabolic transport equation} \begin{equation*} \pa_t h + \Div_x \left(F(t,x,λ)h\right)=\sum\limits_{i,j=1}^k\pa^2_{x_i x_j}\left(b_{ij}(t,x,λ) h\right)+\pa_λγ(t,x,λ), \end{equation*} is such that for every $ρ\in C^1_c(\R)$, the velocity averaged quantity $\int_{\R}h(t,x,λ)$ $ρ(λ)dλ$ admits the strong $L^1_{\rm loc}(\R^d)$-limit as $t\to 0$, i.e. there exist $h_0(x,λ)\in L^1_{\rm loc}(\R^d\times \R)$ and the set $E\subset\R^+$ of full measure such that for every $ρ\in C^1_c(\R)$, $$ L^1_{\rm loc}(\R^d)-\lim\limits_{t\to 0, \; t\in E} \int_{\R} h(t,x,λ)ρ(λ)dλ= \int_{\R} h_0(x,λ) ρ(λ)dλ. $$ As a corollary, under the traceability conditions, we prove existence of strong traces for entropy solutions to ultraparabolic equations in heterogeneous media.
△ Less
Submitted 6 September, 2013;
originally announced September 2013.
-
Entropy conditions for scalar conservation laws with discontinuous flux revisited
Authors:
Boris Andreianov,
Darko Mitrovic
Abstract:
We propose new entropy admissibility conditions for multidimensional hyperbolic scalar conservation laws with discontinuous flux which generalize one-dimensional Karlsen-Risebro-Towers entropy conditions.
These new conditions are designed, in particular, in order to characterize the limit of vanishing viscosity approximations.
On the one hand, they comply quite naturally with a certain class o…
▽ More
We propose new entropy admissibility conditions for multidimensional hyperbolic scalar conservation laws with discontinuous flux which generalize one-dimensional Karlsen-Risebro-Towers entropy conditions.
These new conditions are designed, in particular, in order to characterize the limit of vanishing viscosity approximations.
On the one hand, they comply quite naturally with a certain class of physical and numerical modeling assumptions; on the other hand, their mathematical assessment turns out to be intricate. \smallskip The generalization we propose is not only with respect to the space dimension, but mainly in the sense that the "crossing condition" of [K.H. Karlsen, N.H. Risebro, J. Towers, Skr.\,K.\,Nor.\,Vid.\,Selsk. (2003)] is not mandatory for proving uniqueness with the new definition. We prove uniqueness of solutions and give tools to justify their existence via the vanishing viscosity method, for the multi-dimensional spatially inhomogeneous case with a finite number of Lipschitz regular hypersurfaces of discontinuity for the flux function.
△ Less
Submitted 13 April, 2014; v1 submitted 27 February, 2012;
originally announced February 2012.
-
Velocity averaging -- a general framework
Authors:
Martin Lazar,
Darko Mitrovic
Abstract:
We prove that the sequence of averaged quantities $\int_{\R^m}u_n(\mx,\msnop)$ $ρ(\msnop)d\msnop$, is strongly precompact in $\Ldl\Rd$, where $ρ\in \Ldc{\R^m}$, and $u_n\in
\Ld{\R^m; \pL s\Rd}$, $s\geq 2$, are weak solutions to differential operator equations with variable coefficients. In particular, this includes differential operators of hyperbolic, parabolic or ultraparabolic type, but also…
▽ More
We prove that the sequence of averaged quantities $\int_{\R^m}u_n(\mx,\msnop)$ $ρ(\msnop)d\msnop$, is strongly precompact in $\Ldl\Rd$, where $ρ\in \Ldc{\R^m}$, and $u_n\in
\Ld{\R^m; \pL s\Rd}$, $s\geq 2$, are weak solutions to differential operator equations with variable coefficients. In particular, this includes differential operators of hyperbolic, parabolic or ultraparabolic type, but also fractional differential operators. If $s>2$ then the coefficients can be discontinuous with respect to the space variable $\mx\in \R^d$, otherwise, the coefficients are continuous functions. In order to obtain the result we prove a representation theorem for an extension of the $H$-measures.
△ Less
Submitted 22 September, 2012; v1 submitted 13 July, 2011;
originally announced July 2011.
-
Singular solutions of a fully nonlinear 2x2 system of conservation laws
Authors:
Henrik Kalisch,
Darko Mitrovic
Abstract:
Existence and admissibility of $δ$-shock type solution is discussed for the following nonconvex strictly hyperbolic system arising in studues of plasmas: \pa_t u + \pa_x \big(\Sfrac{u^2+v^2}{2} \big) &=0 \pa_t v +\pa_x(v(u-1))&=0. The system is fully nonlinear, i.e. it is nonlinear with respect to both variables. The latter system does not admit the classical Lax-admissible solution to certain Rie…
▽ More
Existence and admissibility of $δ$-shock type solution is discussed for the following nonconvex strictly hyperbolic system arising in studues of plasmas: \pa_t u + \pa_x \big(\Sfrac{u^2+v^2}{2} \big) &=0 \pa_t v +\pa_x(v(u-1))&=0. The system is fully nonlinear, i.e. it is nonlinear with respect to both variables. The latter system does not admit the classical Lax-admissible solution to certain Riemann problems. By introducing complex valued corrections in the framework of the weak asymptotic method, we show that an compressive $δ$-shock type solution resolves such Riemann problems. By letting the approximation parameter to zero, the corrections become real valued and we obtain a $δ$-type solution concept. In the frame of that concept, we can show that every $2\times 2$ system of conservation laws admits $δ$-type solution.
△ Less
Submitted 26 March, 2012; v1 submitted 23 May, 2011;
originally announced May 2011.
-
A generalization of $H$-measures and application on purely fractional scalar conservation laws
Authors:
Darko Mitrovic,
Ivan Ivec
Abstract:
We extend the notion of $H$-measures on test functions defined on $\R^d\times P$, where $P\subset \R^d$ is an arbitrary compact simply connected Lipschitz manifold such that there exists a family of regular nonintersecting curves issuing from the manifold and fibrating $\R^d$. We introduce a concept of quasi-solutions to purely fractional scalar conservation laws and apply our extension of the…
▽ More
We extend the notion of $H$-measures on test functions defined on $\R^d\times P$, where $P\subset \R^d$ is an arbitrary compact simply connected Lipschitz manifold such that there exists a family of regular nonintersecting curves issuing from the manifold and fibrating $\R^d$. We introduce a concept of quasi-solutions to purely fractional scalar conservation laws and apply our extension of the $H$-measures to prove strong $L^1_{loc}$ precompactness of such quasi-solutions.
△ Less
Submitted 6 March, 2011;
originally announced March 2011.
-
New entropy conditions for scalar conservation laws with discontinuous flux
Authors:
Darko Mitrovic
Abstract:
We propose new Kruzhkov type entropy conditions for one dimensional scalar conservation law with a discontinuous flux. We prove existence and uniqueness of the entropy admissible weak solution to the corresponding Cauchy problem merely under assumptions on the flux which provide the maximum principle. In particular, we allow multiple flux crossings and we do not need any kind of genuine nonlineari…
▽ More
We propose new Kruzhkov type entropy conditions for one dimensional scalar conservation law with a discontinuous flux. We prove existence and uniqueness of the entropy admissible weak solution to the corresponding Cauchy problem merely under assumptions on the flux which provide the maximum principle. In particular, we allow multiple flux crossings and we do not need any kind of genuine nonlinearity conditions.
△ Less
Submitted 18 November, 2010;
originally announced November 2010.
-
On a variant of Tartar's first commutation lemma
Authors:
Darko Mitrovic
Abstract:
We prove a variant of Tartar's first commutation lemma involving multiplier operators with symbols not necessarily defined on a manifold of codimension one.
We prove a variant of Tartar's first commutation lemma involving multiplier operators with symbols not necessarily defined on a manifold of codimension one.
△ Less
Submitted 31 January, 2010;
originally announced February 2010.
-
H-distributions - an extension of the H-measures
Authors:
Darko Mitrovic,
Nenad Antonic
Abstract:
We use the continuity of Fourier multiplier operators on $L^p$ to introduce the $H$-distributions --- an extension of $H$-measures in the $L^p$ framework. We apply the $H$-distributions to obtain an $L^p$ version of the localisation principle, and reprove the $L^p$---$L^q$ variant of the Murat--Tartar div-curl lemma.
We use the continuity of Fourier multiplier operators on $L^p$ to introduce the $H$-distributions --- an extension of $H$-measures in the $L^p$ framework. We apply the $H$-distributions to obtain an $L^p$ version of the localisation principle, and reprove the $L^p$---$L^q$ variant of the Murat--Tartar div-curl lemma.
△ Less
Submitted 3 April, 2011; v1 submitted 8 July, 2009;
originally announced July 2009.
-
Delta shock wave formation in the case of triangular hyperbolic system of conservation laws
Authors:
V. G. Danilov,
D. Mitrovic
Abstract:
We describe $δ$ shock wave arising from continuous initial data in the case of triangular conservation law system arising from "generalized pressureless gas dynamics model". We use the weak asymptotic method.
We describe $δ$ shock wave arising from continuous initial data in the case of triangular conservation law system arising from "generalized pressureless gas dynamics model". We use the weak asymptotic method.
△ Less
Submitted 26 December, 2006;
originally announced December 2006.
-
Weak Asymptotics of Shock Wave Formation Process
Authors:
V. Danilov,
D. Mitrovic
Abstract:
We construct an asymptotic (in a weak sense) solution corresponding to the shock wave formation in a special situation.
We construct an asymptotic (in a weak sense) solution corresponding to the shock wave formation in a special situation.
△ Less
Submitted 17 May, 2004;
originally announced May 2004.
