Related papers: Differentiability of the argmin function and a min…

In this paper, we determine the complex-valued solutions of the following functional equations \[g(x\sigma (y)) = g(x)g(y)+f(x)f(y),\quad x,y\in S,\]\[f(x\sigma (y)) = f(x)g(y)+f(y)g(x),\quad x,y\in S,\]\[f(x\sigma (y)) =…

In this paper we study upper and lower bounds on the Bregman divergence $\Delta_{\mathcal{F}}^{\xi}(y,x):=\mathcal{F}(y)-\mathcal{F}(x)-\langle \xi, y-x\rangle $ for some convex functional $\mathcal{F}$ on a normed space $\mathcal{X}$, with…

We obtain a compactness result for $\Gamma$-convergence of integral functionals defined on $\mathcal{A}$-free vector fields. This is used to study homogenization problems for these functionals without periodicity assumptions. More…

We establish the higher differentiability for the minimizers of the following non-autonomous integral functionals \begin{equation*} \mathcal{F}(u,\Omega):= \, \int_\Omega \sum_{i=1}^{n} \, a_i(x) \lvert u_{x_i} \rvert^{p_i} dx,…

We study some qualitative properties (including removable singularities and superharmonicity) of non-negative solutions to $$ (-\Delta)^\gamma u=fu^p\quad\text{in }\mathbb R^n\setminus\Sigma $$ which are singular at $\Sigma$. Here $\gamma…

We derive the unique continuation property of a class of semi-linear elliptic equations with non-Lipschitz nonlinearities. The simplest type of equations to which our results apply is given as $-\Delta u = |u|^{\sigma-1} u$ in a domain…

Let $K$ be a locally compact hypergroup with a left invariant Haar measure. We show that the Liouville property and amenability are equivalent for $K$ when it is second countable. Suppose that $\sigma$ is a non-degenerate probability…

We introduce small cap square function estimates for parabola and cone, and prove the sharp estimates. More precisely, we study the inequalities of form \[ \|f\|_p\le C_{\alpha,p}(R)…

We establish a sub-convexity estimate for Rankin-Selberg $L$-functions in the combined level aspect, using the circle method. If $p$ and $q$ are distinct prime numbers, $f$ and $g$ are non-exceptional newforms (modular or Maass) for the…

We report on a verification of the Fundamental Theorem of Algebra in ACL2(r). The proof consists of four parts. First, continuity for both complex-valued and real-valued functions of complex numbers is defined, and it is shown that…

In view of the minimization of a function which is the sum of a differentiable function $f$ and a convex function $g$ we introduce descent methods which can be viewed as produced by inexact auxiliary problem principleor inexact variable…

We establish the consistency of the failure of the diamond principle on a cardinal $\kappa$ which satisfies a strong simultaneous reflection property. The result is based on an analysis of Radin forcing, and further leads to a…

We prove that, for any closed semialgebraic subset $W$ of $\mathbb{R}^n$ and for any positive integer $p$, there exists a Nash function $f:\mathbb{R}^n\setminus W\longrightarrow (0, \infty)$ which is equivalent to the distance function from…

Let $\Gamma$ denote a finite, simple and connected graph. Fix a vertex $x$ of $\Gamma$ which is not a leaf and let $T=T(x)$ denote the Terwilliger algebra of $\Gamma$ with respect to $x$. Assume that the unique irreducible $T$-module with…

We consider fractional differential equations of order $\alpha \in (0,1)$ for functions of one independent variable $t\in (0,\infty)$ with the Riemann-Liouville and Caputo-Dzhrbashyan fractional derivatives. A precise estimate for the order…

The {\em distinguishing number} of a group $G$ acting faithfully on a set $V$ is the least number of colors needed to color the elements of $V$ so that no non-identity element of the group preserves the coloring. The {\em distinguishing…

Let $\Omega \subset \mathbb{R}^{d}$ be a convex body with everywhere positive curvature except at the origin and with the boundary $\partial \Omega$ as the graph of the function $y=|x|^{\gamma}$ in a neighborhood of the origin with $\gamma…

Let $\Omega\subset \mathbb{R}^n $ be any open set and $u$ be a weak supersolution of $\mathcal{L}u=c(x)g(|u|)\frac{u}{|u|}$ where \[\mathcal{L}u(x)=\text{p.v.} \int_{\mathbb{R}^n} g\left(\frac{|u(x)-u(y)|}{|x-y|^s}\right)…

We prove a compactness result with respect to $\Gamma$-convergence for a class of integral functionals which are expressed as a sum of a local and a non-local term. The main feature is that, under our hypotheses, the local part of the…

We show that gradient descent can converge to any local minimum of a smooth semi-algebraic function. This holds if the step sizes are nonsummable and sufficiently small. The same results hold for the subgradient method on locally Lipschitz…