Related papers: Functional Equations for Lexicographic Products
We derive hypergeometric formulas for Euler's constant, gamma. A "by-product" of Thomae's transformation is an infinite product for e^gamma involving the binomial coefficients. Alternate, non-hypergeometric proofs use a double integral for…
We are looking for an optimal convex domain on which the boundary value problem $$\left\{\begin{array}{cc}(-\Delta)^2 u_\gamma-\gamma\Delta u_\gamma = f,& \mbox{ in }\Omega\\ u_\gamma=\partial_\nu u_\gamma=0,& \mbox{ on…
Ensuring non-interpenetration of matter is a fundamental prerequisite when modeling the deformation response of solid materials. In this contribution, we thoroughly examine how this requirement, equivalent to the injectivity of deformations…
Given a positive noncommutative polynomial $f$, equivalently a sum of Hermitian squares (SOHS), there exists a positive semidefinite Gram matrix that encrypts all the structural essence of $f$. There are no available methods for extending a…
Motivated by satisfiability of constraints with function symbols, we consider numerical inequalities on non-negative integers. The constraints we consider are a conjunction of a linear system Ax = b and a conjunction of (non-)convex…
Purpose: This study extends the structural theory of finite commutative ternary $\Gamma$-semirings into a computational and categorical framework for explicit classification and constructive reasoning. Methods: Constraint-driven enumeration…
We investigate a generalisation of the coherent choice functions considered by Seidenfeld et al. (2010), by sticking to the convexity axiom but imposing no Archimedeanity condition. We define our choice functions on vector spaces of…
We prove an approximation result showing how operators of the type $-\Delta -\gamma \delta (x-\Gamma)$ in $L^2(\mathbb{R}^2)$, where $\Gamma$ is a graph, can be modeled in the strong resolvent sense by point-interaction Hamiltonians with an…
We study the pointwise supremum of convex integral functionals $\mathcal{I}_{f,\gamma}(\xi)= \sup_{Q} \left( \int_\Omega f(\omega,\xi(\omega))Q(d\omega)-\gamma(Q)\right)$ on $L^\infty(\Omega,\mathcal{F},\mathbb{P})$ where…
For a symplectic manifold $(M,\omega)$, not necessarily hard Lefschetz, we prove a version of the Merkulov $d\delta$--lemma. We also study the $d\delta$--lemma and related cohomologies for compact symplectic solvmanifolds.
Starting from the symmetrical reflection functional equation of the zeta function, we have found that the sigma values satisfying zeta(s) = 0 must also satisfy both |zeta(s)| = |zeta(1 - s)| and |gamma(s/2)zeta(s)| = |gamma((1 - s)/2)zeta(1…
We say that a function $\alpha(x)$ belongs to the set ${\bf A}^{(\gamma)}$ if it has an asymptotic expansion of the form $\alpha(x)\sim \sum^\infty_{i=0}\alpha_ix^{\gamma-i}$ as $x\to\infty$, which can be differentiated term by term…
We propose an abstract framework for the homogenization of random functionals which may contain non-convex terms, based on a two-scale $\Gamma$-convergence approach and a definition of Young measures on micropatterns which encodes the…
In typical non-idempotent intersection type systems, proof normalization is not confluent. In this paper we introduce a confluent non-idempotent intersection type system for the lambda-calculus. Typing derivations are presented using proof…
In this work we examine the stability of some classes of integrals, and in particular with respect to homogenization. The prototypical case is the homogenization of quadratic energies with periodic coefficients perturbed by a term vanishing…
The simple product formulae for derivatives of scalar functions raised to different powers are generalized for functions which take values in the set of symmetric positive definite matrices. These formulae are fundamental in derivation of…
We present a simple systematic algorithm for construction of expansions of the solutions of ordinary differential equations with rational coefficients in terms of mathematical functions having indefinite integral representation. The…
We consider an equation $$ L_{\alpha ,\beta ,\gamma} (u) \equiv u_{xx} + u_{yy} + u_{zz} + \displaystyle \frac{{2\alpha}}{x}u_x + \displaystyle \frac{{2\beta}}{y}u_y + \displaystyle \frac{{2\gamma}}{z}u_z = 0 $$ in a domain ${\bf R}_3^ +…
The objective of our paper is to investigate fractional elliptic equations of the form $(-\Delta)^s u=\frac{\lambda }{(a-u)^2}$ within a bounded domain $\Omega$, subject to zero Dirichlet boundary conditions. Here, $s\in(0,1)$, $\lambda>0$,…
We consider stable solutions of a semilinear elliptic equation with homogeneous Neumann boundary conditions. A classical result of Casten, Holland [20] and Matano [44] states that all stable solutions are constant in convex bounded domains.…