arXiv subjects

Mikolaj Sierzega

Publications and source records attributed to Mikolaj Sierzega.

7 recordsLinked to original sources

arXiv2026

Elements represented as intersections of sets

For a natural number $n$ let $[n] = \{1,\ldots,n\}$. We say that a family ${\cal{S}}\subseteq 2^{[n]}$ is \emph{representing} if every singleton set of $[n]$ is an intersection of some sets from ${\cal{S}}$. We show that the smallest possible cardinality of a representing set for $[n]$ is the discrete inverse $s(n)$ of the Sperner's function $n\mapsto \binom{n}{\lfloor n/2\rfloor}$, which by Sperner's Theorem is the maximum number of elements in an antichain in $2^{[n]}$ when viewed as subset (or boolean) lattice. Specifically, $s(n)$ is then the smallest positive integer such that $2^{[n]}$ contains an $n$-element antichain. Some generalization, further applications and asymptotics in terms of the second real branch of the Lambert $W$ function are presented.

math.CO↗

arXiv2019

A Blow-up Dichotomy for Semilinear Fractional Heat Equations

We derive a blow-up dichotomy for positive solutions of fractional semilinear heat equations on the whole space. That is, within a certain class of convex source terms, we establish a necessary and sufficient condition on the source for all positive solutions to become unbounded in finite time. Moreover, we show that this condition is equivalent to blow-up of all positive solutions of a closely-related scalar ordinary differential equation.

math.AP↗

arXiv2019

Well-posedness of Semilinear Heat Equations in $L^1$

The problem of obtaining necessary and sufficient conditions for local existence of non-negative solutions in Lebesgue spaces for semilinear heat equations having monotonically increasing source term $f$ has only recently been resolved (Laister et al. (2016)). There, for the more difficult case of initial data in $L^1$, a necessary and sufficient integral condition on $f$ emerged. Here, subject to this integral condition, we consider other fundamental properties of solutions with $L^1$ initial data of indefinite sign, namely: uniqueness, regularity, continuous dependence and comparison. We also establish sufficient conditions for the global-in-time continuation of solutions for small initial data in $L^1$.

math.AP↗

arXiv2015

A complete characterisation of local existence for semilinear heat equations in Lebesgue spaces

We consider the scalar semilinear heat equation $u_t-Δu=f(u)$, where $f\colon[0,\infty)\to[0,\infty)$ is continuous and non-decreasing but need not be convex. We completely characterise those functions $f$ for which the equation has a local solution bounded in $L^q(Ω)$ for all non-negative initial data $u_0\in L^q(Ω)$, when $Ω\subset{\mathbb R}^d$ is a bounded domain with Dirichlet boundary conditions. For $q\in(1,\infty)$ this holds if and only if $\limsup_{s\to\infty}s^{-(1+2q/d)}f(s)<\infty$; and for $q=1$ if and only if $\int_1^\infty s^{-(1+2/d)}F(s)\,{\rm d}s<\infty$, where $F(s)=\sup_{1\le t\le s}f(t)/t$. This shows for the first time that the model nonlinearity $f(u)=u^{1+2q/d}$ is truly the `boundary case' when $q\in(1,\infty)$, but that this is not true for $q=1$. The same characterisation results hold for the equation posed on the whole space ${\mathbb R}^d$ provided that in addition $\limsup_{s\to0}f(s)/s<\infty$.

math.AP↗

arXiv2013

Gaussian lower bounds on the Dirichlet heat kernel and non-existence of local solutions for semilinear heat equations of Osgood type

We give a simple proof of a lower bound for the Dirichlet heat kernel in terms of the Gaussian heat kernel. Using this we establish a non-existence result for semilinear heat equations with zero Dirichlet boundary conditions and initial data in $L^q(Ω)$ when the source term $f$ is non-decreasing and $\limsup_{s\to\infty}s^{-γ}f(s)=\infty$ for some $γ>q(1+2/n)$. This allows us to construct a locally Lipschitz $f$ satisfying the Osgood condition $\int_{1}^{\infty}1/f(s)\ \,\d s =\infty$, which ensures global existence for bounded initial data, such that for every $q$ with $1\le q<\infty$ there is an initial condition $u_0\in L^q(\Om)$ for which the corresponding semilinear problem has no local-in-time solution.

math.AP↗

arXiv2013

Non-existence of local solutions for semilinear heat equations of Osgood type

We establish non-existence results for the Cauchy problem of some semilinear heat equations with non-negative initial data and locally Lipschitz, nonnegative source term $f$. Global (in time) solutions of the scalar ODE $\dot v=f(v)$ exist for $v(0)>0$ if and only if the Osgood-type condition $\int_{1}^{\infty}\frac{\dee s}{f(s)} =\infty$ holds; by comparison this ensures the existence of global classical solutions of $u_t=Δu+f(u)$ for bounded initial data $u_0\in L^{\infty}(\R^n)$. It is natural to ask whether the Osgood condition is sufficient to ensure that the problem still admits global solutions if the initial data is in $L^q(\R^n)$ for some $1\le q<\infty$. Here we answer this question in the negative, and in fact show that there are initial conditions for which there exists no local solution in $L^1_{\rm loc}(\R^n)$ for $t>0$.

math.AP↗

arXiv2012

Supersolutions for a class of semilinear heat equations

A semilinear heat equation $u_{t}=Δu+f(u)$ with nonnegative initial data in a subset of $L^{1}(Ω)$ is considered under the assumption that $f$ is nonnegative and nondecreasing and $Ω\subseteq \R^{n}$. A simple technique for proving existence and regularity based on the existence of supersolutions is presented, then a method of construction of local and global supersolutions is proposed. This approach is applied to the model case $f(s)=s^{p}$, $ϕ\in L^{q}(Ω)$: new sufficient conditions for the existence of local and global classical solutions are derived in the critical and subcritical range of parameters. Some possible generalisations of the method to a broader class of equations are discussed.

math.AP↗