相关论文: Ellipsis and Quantification: a substitutional appr…
The symmetric interaction combinators are an equally expressive variant of Lafont's interaction combinators. They are a graph-rewriting model of deterministic computation. We define two notions of observational equivalence for them,…
In this paper, we deal with an elliptic problem with the Dirichlet boundary condition. We operate in Sobolev spaces and the main analytic tool we use is the Lax-Milgram lemma. First, we present the variational approach of the problem which…
The study of the limiting absorption principle for elliptic equations with periodic structures is very challenging when the dimension is greater than 1. The fundamental reason for the dimensional barrier is the mismatch between directional…
We present a new approach to solve a Schr\"odinger Equation autonomous at infinity, by identifying the relation between the arrangement of the spectrum of the concerned operator and the behavior of the nonlinearity at zero and at infinity.…
This paper studies an optimal control problem governed by a semilinear elliptic equation, in which the control acts in a multiplicative or bilinear way as the reaction coefficient of the equation. We focus on the numerical discretization of…
Topos theory has been suggested by D\"oring and Isham as an alternative mathematical structure with which to formulate physical theories. In particular, the topos approach suggests a radical new way of thinking about what a theory of…
Numerical solving differential equations with fractional derivatives requires elimination of the singularity which is inherent in the standard definition of fractional derivatives. The method of integration by parts to eliminate this…
As a first step at developing a theory of noncommutative nonlinear elliptic partial differential equations, we analyze noncommutative analogues of Laplace's equation and its variants (some of the them nonlinear) over noncommutative tori.…
A priori estimates for semilinear higher order elliptic equations usually have to deal with the absence of a maximum principle. This note presents some regularity estimates for the polyharmonic Dirichlet problem that will make a distinction…
In this article we study the inverse problem of determining a semilinear term appearing in an elliptic equation from boundary measurements. Our main objective is to develop flexible and general theoretical results that can be used for…
The paper adresses the problem of reasoning with ambiguities. Semantic representations are presented that leave scope relations between quantifiers and/or other operators unspecified. Truth conditions are provided for these representations…
This article provides an algebraic study of intermediate inquisitive and dependence logics. While these logics are usually investigated using team semantics, here we introduce an alternative algebraic semantics and we prove it is complete…
We prove an explicit formula for the law in zero of the solution of a class of elliptic SPDE in $\mathbb{R}^2$. This formula is the simplest instance of dimensional reduction, discovered in the physics literature by Parisi and Sourlas…
Several local elliptic coordinates are used to build a new polyelliptic coordinate system which is orthogonal and admits the separation of variables. Such coordinate systems can give the exact solutions of some unsolved problems in quantum…
In stochastic homogenization of elliptic equations, the corrector plays a central role. Under a finite range of dependence assumption on the coefficient field, we show that the large-scale spatial averages of the corrector approach those of…
We present a gauge independent Lagrangian method of abstracting the reduced space of a solvable model with Gribov-like ambiguity, recently proposed by Friedberg, Lee, Pang and Ren. The reduced space is found to agree with the explicit…
We propose a multiscale approach for an elliptic multiscale setting with general unstructured diffusion coefficients that is able to achieve high-order convergence rates with respect to the mesh parameter and the polynomial degree. The…
We define an abstract nonlinear elliptic system, admitting a variational structure, and including the vortex equations for some Maxwell-Chern-Simons gauge theories as special cases. We analyze the asymptotic behavior of its solutions, and…
We provide symmetrization results in the form of mass concentration comparisons for fractional singular elliptic equations in bounded domains, coupled with homogeneous external Dirichlet conditions. Two types of comparison results are…
Equations of motion corresponding to the H\'{e}non - Heiles system are considered. A method enabling one to find all elliptic solutions of an autonomous ordinary differential equation or a system of autonomous ordinary differential…