Related papers: On the lower semicontinuous envelope of functional…

We develop potential theory for $m$-subharmonic functions with respect to a Hermitian metric on a Hermitian manifold. First, we show that the complex Hessian operator is well-defined for bounded functions in this class. This allows to…

The Hilbert spaces $H(\mathrm{curl})$ and $H(\mathrm{div})$ are needed for variational problems formulated in the context of the de Rham complex in order to guarantee well-posedness. Consequently, the construction of conforming subspaces is…

We present another view dealing with the Arnold-Givental conjecture on a real symplectic manifold $(M, \omega, \tau)$ with nonempty and compact real part $L={\rm Fix}(\tau)$. For given $\Lambda\in (0, +\infty]$ and $m\in\N\cup\{0\}$ we show…

A topologized semilattice $X$ is complete if each non-empty chain $C\subset X$ has $\inf C\in\bar C$ and $\sup C\in\bar C$. It is proved that for any complete subsemilattice $X$ of a functionally Hausdorff semitopological semilattice $Y$…

This paper relates the lower semi-continuity of an integral functional in the compensated compactness setting of vector fields satisfying a constant-rank first-order differential constraint, to closed $\mathcal{A}$-$p$ quasiconvexity of the…

We establish the plurisubharmonicity of the envelope of the Poisson functional on almost complex manifolds. That is, we generalize the corresponding result for complex manifolds and almost complex manifolds of complex dimension two.

The paper studies semi-almost periodic holomorphic functions on a polydisk which have, in a sense, the weakest possible discontinuities on the boundary torus. The basic result used in the proofs is an extension of the classical Bohr…

This paper studies absolute integrability for functions with values in semi- normed spaces and in locally convex topological vector spaces (LCTVS). We introduce an \emph{upper-integral} approach (based on a $\rho$-variational measure…

Usual termination proofs for a functional program require to check all the possible reduction paths. Due to an exponential gap between the height and size of such the reduction tree, no naive formalization of termination proofs yields a…

The notion of a quasi-free Hilbert module over a function algebra $\mathcal{A}$ consisting of holomorphic functions on a bounded domain $\Omega$ in complex $m$ space is introduced. It is shown that quasi-free Hilbert modules correspond to…

In this paper, we present a new extension of the famous Serrin's lower semicontinuity theorem for the variational functional $\int_{\Omega}f(x,u,u')dx$,we prove its lower semicontinuity in $W_{loc}^{1,1}(\Omega)$ with respect to the strong…

We describe a method that allows for a practical application of the theory of pseudo-Hermitian operators to PT-symmetric systems defined on a complex contour. We apply this method to study the Hamiltonians $H=p^2+x^2(ix)^\nu$ with…

Entropy functionals (i.e. convex integral functionals) and extensions of these functionals are minimized on convex sets. This paper is aimed at reducing as much as possible the assumptions on the constraint set. Dual equalities and…

We consider continuous semigroups of analytic functions $\{\Phi_t\}_{t\geq0}$ in the so-called Gordon-Hedenmalm class $\mathcal{G}$, that is, the family of analytic functions $\Phi:\mathbb C_+\to \mathbb C_+$ giving rise to bounded…

Submodular functions describe a variety of discrete problems in machine learning, signal processing, and computer vision. However, minimizing submodular functions poses a number of algorithmic challenges. Recent work introduced an…

In this paper, an upper semismooth function is defined to be a lower semicontinuous function whose radial subderivative satisfies a mild directional upper semicontinuity property. Examples of upper semismooth functions are the proper lower…

We establish a Fenchel-Moreau type theorem for proper convex functions $f\colon X\to \bar{L}^0$, where $(X, Y, \langle \cdot,\cdot \rangle)$ is a dual pair of Banach spaces and $\bar L^0$ is the space of all extended real-valued functions…

Given symmetric matrices $A_0, A_1, \ldots, A_n$ of size $m$ with rational entries, the set of real vectors $x = (x_1, \ldots, x_n)$ such that the matrix $A_0 + x_1 A_1 + \cdots + x_n A_n$ has non-negative eigenvalues is called a…

Let $\Phi$ : R n $\rightarrow$ R $\cup$ {+$\infty$} be an even convex function and L$\Phi$ be its Legendre transform. We prove the functional form of Mahler conjecture concerning the functional volume product P ($\Phi$) = e --$\Phi$ e…

Given a negative plurisubharmonic function $\phi$ in a bounded pseudoconvex domain of ${\mathbb C}^n$, we introduce and study its residual function $g_\phi$ determined by the asymptotic behavior of $\phi$ near its singularity points, both…