Related papers: Log-type ultra-analyticity of elliptic equations w…
We present an algorithm for computing asymptotic approximations of roots of polynomials with exp-log function coefficients. The real and imaginary parts of the approximations are given as explicit exp-log expressions. We provide a method…
Mainly motivated by a conjecture of Alesker and Verbitsky, we study a class of fully non-linear elliptic equations on certain compact hyperhermitian manifolds. By adapting the approach of Sz\'{e}kelyhidi to the hypercomplex setting, we…
We study a semilinear elliptic equation with a pure power nonlinearity with exponent $p>1$, and provide sufficient conditions for the existence of positive solutions. These conditions involve expected exit times from the domain, $D$, where…
We establish the existence of strong solutions to a class of nonlinear strongly coupled and uniform elliptic systems consisting of more than two equations. The existence of of nontrivial and non constant solutions (or pattern formations)…
We study semilinear elliptic inequalities with a potential on infinite graphs. Given a distance on the graph, we assume an upper bound on its Laplacian, and a growth condition on a suitable weighted volume of balls. Under such hypotheses,…
For a class of linear elliptic equations of general type with rapidly oscillating coefficients, we use the sigma-convergence method to prove the homogenization result and a corrector-type result. In the case of asymptotic periodic…
In this paper we study a Dirichlet problem for an elliptic equation with degenerate coercivity and a singular lower order term with natural growth with respect to the gradient. We will show that, even if the lower order term is singular, it…
We present new results on finite satisfiability of logics with counting and arithmetic. One result is a tight bound on the complexity of satisfiability of logics with so-called local Presburger quantifiers, which sum over neighbors of a…
We prove the existence of non-smooth solutions to fully nonlinear uniformly elliptic equations.
The aim of this paper is investigating the existence of weak solutions of the quasilinear elliptic model problem \[ \left\{\begin{array}{lr} - \divg (A(x,u)\, |\nabla u|^{p-2}\, \nabla u) + \dfrac1p\, A_t(x,u)\, |\nabla u|^p\ =\ f(x,u) &…
We introduce a method for solving Calder\'on type inverse problems for semilinear equations with power type nonlinearities. The method is based on higher order linearizations, and it allows one to solve inverse problems for certain…
We prove estimates and existence results for some fully nonlinear elliptic equations on Riemannian manifolds. These equations are not arbitrary, but arise naturally in the study of conformal geometry.
An analytical linear solution of the fully compressible Euler equations is found, in the particular case of a stationary two dimensional flow that passes over an orographic feature with small height-width ratio. A method based on the…
Goal of this paper is to study classes of Cauchy-Dirichlet problems which include parabolic equations of the type $$u_t -\Delta u= a(x,t)f(u)\quad\hbox{in $\Omega\times(0,T)$}$$ with $\Omega\subset\mathbb{R}^N$ bounded, convex domain and…
We study the complexity of deciding the equality of infinite objects specified by systems of equations, and of infinite objects specified by lambda-terms. For equational specifications there are several natural notions of equality: equality…
The article studies the reiterated homogenization of linear elliptic variational inequalities arising in problems with unilateral constrains. We assume that the coefficients of the equations satisfy and abstract hypothesis covering on each…
In the framework of the nonsmooth critical point theory for lower semi-continuous functionals, we propose a direct variational approach to investigate the existence of infinitely many weak solutions for a class of semi-linear elliptic…
We study the program complexity of datalog on both finite and infinite linear orders. Our main result states that on all linear orders with at least two elements, the nonemptiness problem for datalog is EXPTIME-complete. While containment…
We find new quantitative estimates on the space-time analyticity of solutions to linear parabolic equations with analytic coefficients near the initial time. We apply the estimates to obtain observability inequalities and…
In this paper we study we study a Dirichlet optimal control prob- lem associated with a linear elliptic equation the coefficients of which we take as controls in the class of integrable functions. The characteristic feature of this control…