Existence and Regularity of the Density for Solutions to Semilinear Dissipative Parabolic SPDEs

We prove existence and smoothness of the density of the solution to a nonlinear stochastic heat equation on $L^2(\mathcal{O})$ (evaluated at fixed points in time and space), where $\mathcal{O}$ is an open bounded domain in ? ^d with smooth boundary. The equation is driven by an additive Wiener noise and the nonlinear drift term is the superposition operator associated to a real function which is assumed to be (maximal) monotone, continuously differentiable, and growing not faster than a polynomial. The proof uses tools of the Malliavin calculus combined with methods coming from the theory of maximal monotone operators.     

Non-convex perturbations of maximal monotone differential inclusions

We give an existence result for \(\dot x \in -- Ax + F(x)\) whereA is a maximal monotone map andF is a set-valued map, with images not necessarily convex.     

Cyclic Hypomonotonicity,Cyclic Submonotonicity,and Integration

Rockafellar has shown that the subdifferentials of convex functions are always cyclically monotone operators. Moreover, maximal cyclically monotone operators are necessarily operators of this type, since one can construct explicitly a convex function, which turns out to be unique up to a constant, whose subdifferential gives back the operator. This result is a cornerstone in convex analysis and relates tightly convexity and monotonicity. In this paper, we establish analogous robust results that relate weak convexity notions to corresponding notions of weak monotonicity, provided one deals with locally Lipschitz functions and locally bounded operators. In particular, the subdifferentials of locally Lipschitz functions that are directionally hypomonotone [respectively, directionally submonotone] enjoy also an additional cyclic strengthening of this notion and in fact are maximal under this new property. Moreover, every maximal cyclically hypomonotone [respectively, maximal cyclically submonotone] operator is always the Clarke subdifferential of some directionally weakly convex [respectively, directionally approximately convex] locally Lipschitz function, unique up to a constant, which in finite dimentions is a lower C² function [respectively, a lower C¹ function].     

Local boundedness of monotone bifunctions

We consider bifunctions ${F : C\times C\rightarrow \mathbb{R}}$ where C is an arbitrary subset of a Banach space. We show that under weak assumptions, monotone bifunctions are locally bounded in the interior of their domain. As an immediate corollary, we obtain the corresponding property for monotone operators. Also, we show that in contrast to maximal monotone operators, monotone bifunctions (maximal or not maximal) can also be locally bounded at the boundary of their domain; in fact, this is always the case whenever C is a locally polyhedral subset of ${\mathbb{R}^{n}}$ and F(x, ·) is quasiconvex and lower semicontinuous.     

Maximality of the Sum of a Maximally Monotone Linear Relation and a Maximally Monotone Operator

The most famous open problem in Monotone Operator Theory concerns the maximal monotonicity of the sum of two maximally monotone operators provided that Rockafellar’s constraint qualification holds. In this paper, we prove the maximal monotonicity of A?+?B provided that A, B are maximally monotone and A is a linear relation, as soon as Rockafellar’s constraint qualification holds: ${\operatorname{dom}}\,A\cap{\operatorname{int}}\,{\operatorname{dom}}\,B\neq\varnothing$ . Moreover, A?+?B is of type (FPV).     

Preserving maximal monotonicity with applications in sum and composition rules

In this paper, we study maximal monotonicity preserving mappings on the Banach space X × X ^*. Indeed, for a maximal monotone set ${M \subset X\times X^*}$ and for a multifunction ${T: X \times X^* \multimap Y \times Y^*}$ , under some sufficient conditions on M and T we show that T(M) is maximal monotone. As two consequences of this result we get sum and composition rules for maximal monotone operators.     

On the Behavior of Gegenbauer Polynomials in the Complex Plane

It is well-known that the squared modulus of every function f from the Laguerre–Polya class ${\mathcal{L}-\mathcal{P}}$ of entire functions obeys a MacLaurin series representation $$|f(x+i y)|^2=\sum_{k=0}^{\infty} L_k(f;x)\,y^{2k}, \quad x,y\in\mathbb{R}$$ , which reduces to a finite sum when f is a polynomial having only real zeros. The coefficients {L _k } are representable as non-linear differential operators acting on f, and by a classical result of Jensen L _k (f;x)?≥ 0 for ${f\in \mathcal{L}-\mathcal{P}}$ and ${x\in \mathbb{R}}$ . Here, we prove a conjecture formulated by the first-named author in 2005, which states that for ${f=P_n^{(\lambda)} }$ , the n-th Gegenbauer polynomial, the functions ${\{L_k(f;x)\}_{k=1}^{n}}$ are monotone decreasing on the negative semi-axis and monotone increasing on the positive semi-axis. This result pertains to certain polynomial inequalities in the spirit of the celebrated refinement of Markov’s inequality, found by R. J. Duffin and A. C. Schaeffer in 1941.     

Regularization and iterative methods for monotone inverse variational inequalities

We consider the monotone inverse variational inequality: find $x\in H$ such that $$\begin{aligned} f(x)\in \Omega , \quad \left\langle \tilde{f}-f(x),x\right\rangle \ge 0, \quad \forall \tilde{f}\in \Omega , \end{aligned}$$ where $\Omega $ is a nonempty closed convex subset of a real Hilbert space $H$ and $f:H\rightarrow H$ is a monotone mapping. A general regularization method for monotone inverse variational inequalities is shown, where the regularizer is a Lipschitz continuous and strongly monotone mapping. Moreover, we also introduce an iterative method as discretization of the regularization method. We prove that both regularized solution and an iterative method converge strongly to a solution of the inverse variational inequality.     

Differentiable vectors and unitary representations of Fréchet–Lie supergroups

A locally convex Lie group G has the Trotter property if, for every $x_1, x_2 \in \mathfrak{g }$ , $$\begin{aligned} \exp _G(t(x_1 + x_2))=\lim _{n \rightarrow \infty } \left(\exp _G\left(\frac{t}{n}x_1\right)\exp _G\left(\frac{t}{n}x_2\right)\right)^n \end{aligned}$$ holds uniformly on compact subsets of $\mathbb{R }$ . All locally exponential Lie groups have this property, but also groups of automorphisms of principal bundles over compact smooth manifolds. A key result of the present article is that, if G has the Trotter property, $\pi : G \rightarrow {\mathrm{GL}}(V)$ is a continuous representation of G on a locally convex space, and $v \in V$ is a vector such that $\overline{\mathtt{d}\pi }(x)v :=\frac{d}{dt}|_{t=0} \pi (\exp _G(tx))v$ exists for every $x \in \mathfrak{g }$ , then the map $\mathfrak{g }\rightarrow V,x \mapsto \overline{\mathtt{d}\pi }(x)v$ is linear. Using this result we conclude that, for a representation of a locally exponential Fréchet–Lie group G on a metrizable locally convex space, the space of $\mathcal{C }^{k}$ -vectors coincides with the common domain of the k-fold products of the operators $\overline{\mathtt{d}\pi }(x)$ . For unitary representations on Hilbert spaces, the assumption of local exponentiality can be weakened to the Trotter property. As an application, we show that for smooth (resp., analytic) unitary representations of Fréchet–Lie supergroups $(G,\mathfrak{g })$ where G has the Trotter property, the common domain of the operators of $\mathfrak{g }=\mathfrak{g }_{\overline{0}}\oplus \mathfrak{g }_{\overline{1}}$ can always be extended to the space of smooth (resp., analytic) vectors for G.     

Packing and Covering with Centrally Symmetric Convex Disks

Given a convex disk K (a convex compact planar set with nonempty interior), let δ _L (K) and θ _L (K) denote the lattice packing density and the lattice covering density of K, respectively. We prove that for every centrally-symmetric convex disk K we have that $$ 1\le\delta_L(K)\theta_L(K)\le1.17225\ldots $$ The left inequality is tight and it improves a 10-year old result.     

Hadamard Inequality and a Refinement of Jensen Inequality for Set—Valued Functions

We present the following set-valued analogue of the Hadamard inequality: Let Y be a Banach space, I be an open interval and let F: I ? cl(Y) be a continuous and convex set-valued function. Then $${F(a)+F(b)\over 2}\subset{1\over b-a}\int_a^b\ F(x)dx\subset F \bigg({a+b\over 2}\bigg)$$ , for every a, b ∈ I, a < b. Some refinement of Jensen inequality for set-valued functions is also given.     

Vertical Toeplitz Operators on the Upper Half-Plane and Very Slowly Oscillating Functions

We consider the C*-algebra generated by Toeplitz operators acting on the Bergman space over the upper half-plane whose symbols depend on the imaginary part of the argument only. Such algebra is known to be commutative, and is isometrically isomorphic to an algebra of bounded complex-valued functions on the positive half-line. In the paper we prove that the latter algebra consists of all bounded functions f that are very slowly oscillating in the sense that the composition of f with the exponential function is uniformly continuous or, in other words, $$\lim_{\frac{x}{y} \to 1} \left|f(x) - f(y)\right| = 0.$$ lim x y → 1 f ( x ) - f ( y ) = 0 .      

On symmetric and nonsymmetric blowup for a weakly quasilinear heat equation

We construct blow-up patterns for the quasilinear heat equation (QHE) $$u_t = \nabla \cdot (k(u)\nabla u) + Q(u)$$ in Ω×(0,T), Ω being a bounded open convex set in ? ^N with smooth boundary, with zero Dirichet boundary condition and nonnegative initial data. The nonlinear coefficients of the equation are assumed to be smooth and positive functions and moreoverk(u) andQ(u)/u ^p with a fixedp>1 are of slow variation asu→∞, so that (QHE) can be treated as a quasilinear perturbation of the well-known semilinear heat equation (SHE) $$u_t = \nabla u) + u^p .$$ We prove that the blow-up patterns for the (QHE) and the (SHE) coincide in a structural sense under the extra assumption $$\smallint ^\infty k(f(e^s ))ds = \infty ,$$ wheref(v) is a monotone solution of the ODEf′(v)=Q(f(v))/v ^p defined for allv?1. If the integral is finite then the (QHE) is shown to admit an infinite number of different blow-up patterns.     

An Integral Jensen Inequality For Convex Multifunctions

We prove the following multivalued version of the Jensen integral inequality. Let X, Y be Banach spaces and D ? X an open and convex set. If F: D ? cl(Y) is a continuous convex function, then for each normalized measure space (Ω, S, μ), and for all μ-integrable functions ? : Ω ? D such that conv?(Ω) ? D, $$\int_{\Omega}(F\ o\ \phi)d\mu \subset F\Bigg(\int_{\Omega}\phi d\mu\Bigg).$$      

Maximal Monotone Operators, Convex Functions and a Special Family of Enlargements

This work establishes new connections between maximal monotone operators and convex functions. Associated to each maximal monotone operator, there is a family of convex functions, each of which characterizes the operator. The basic tool in our analysis is a family of enlargements, recently introduced by Svaiter. This family of convex functions is in a one-to-one relation with a subfamily of these enlargements. We study the family of convex functions, and determine its extremal elements. An operator closely related to the Legendre–Fenchel conjugacy is introduced and we prove that this family of convex functions is invariant under this operator. The particular case in which the operator is a subdifferential of a convex function is discussed.     

A Helly-Type Theorem for Semi-monotone Sets and Monotone Maps

We consider sets and maps defined over an o-minimal structure over the reals, such as real semi-algebraic or globally subanalytic sets. A monotone map is a multi-dimensional generalization of a usual univariate monotone continuous function on an open interval, while the closure of the graph of a monotone map is a generalization of a compact convex set. In a particular case of an identically constant function, such a graph is called a semi-monotone set. Graphs of monotone maps are, generally, non-convex, and their intersections, unlike intersections of convex sets, can be topologically complicated. In particular, such an intersection is not necessarily the graph of a monotone map. Nevertheless, we prove a Helly-type theorem, which says that for a finite family of subsets of $\mathbb{R }^n$ , if all intersections of subfamilies, with cardinalities at most $n+1$ , are non-empty and graphs of monotone maps, then the intersection of the whole family is non-empty and the graph of a monotone map.     

Additivity and exponentiality are alien to each other

Let (S, +) be a (semi)group and let (R,+, ·) be an integral domain. We study the solutions of a Pexider type functional equation $$f(x+y) + g(x+y) = f(x) + f(y) + g(x)g(y)$$ for functions f and g mapping S into R. Our chief concern is to examine whether or not this functional equation is equivalent to the system of two Cauchy equations $$\left\{\begin{array}{@{}ll} f(x+y) = f(x) + f(y)\\ g(x+y) = g(x)g(y)\end{array}\right.$$ for every ${x,y \in S}$ .     

Principal eigenvalue of the fractional Laplacian with a large incompressible drift

We study the principal Dirichlet eigenvalue of the operator \({L_A=\Delta^{\alpha/2}+Ab(x)\cdot\nabla}\) , on a bounded C ^1,1 regular domain D. Here \({\alpha\in(1,2)}\) , \({\Delta^{\alpha/2}}\) is the fractional Laplacian, \({A\in\mathbb{R}}\) , and b is a bounded d-dimensional divergence-free vector field in the Sobolev space W ^1,2d/(d+α)(D). We prove that the eigenvalue remains bounded, as A→ + ∞, if and only if b has non-trivial first integrals in the domain of the quadratic form of \({\Delta^{\alpha/2}}\) for the Dirichlet condition.     

The “strange term” in the periodic homogenization for multivalued Leray–Lions operators in perforated domains

Using the periodic unfolding method of Cioranescu, Damlamian and Griso, we study the homogenization for equations of the form

$-{\rm div}\,\,d_\varepsilon=f,\,\,{\rm with}\,\,\left(\nabla u_{\varepsilon , \delta }(x),d_{\varepsilon , \delta }(x)\right) \in A_\varepsilon(x)$

in a perforated domain with holes of size \({\varepsilon \delta }\) periodically distributed in the domain, where \({A_\varepsilon }\) is a function whose values are maximal monotone graphs (on R ^N ). Two different unfolding operators are involved in such a geometric situation. Under appropriate growth and coercivity assumptions, if the corresponding two sequences of unfolded maximal monotone graphs converge in the graph sense to the maximal monotone graphs A(x, y) and A ₀(x, z) for almost every \({(x,y,z)\in \Omega \times Y \times {\rm {\bf R}}^N}\), as \({\varepsilon \to 0}\), then every cluster point (u ₀, d ₀) of the sequence \({(u_{\varepsilon , \delta }, d_{\varepsilon , \delta } )}\) for the weak topology in the naturally associated Sobolev space is a solution of the homogenized problem which is expressed in terms of u ₀ alone. This result applies to the case where \({A_{\varepsilon}(x)}\) is of the form \({B(x/\varepsilon)}\) where B(y) is periodic and continuous at y = 0, and, in particular, to the oscillating p-Laplacian.