Advanced Search

We establish the Euler-Lagrange inclusion of a nonsmooth integral functional defined on Orlicz-Sobolev spaces. This result is achieved through variational techniques in nonsmooth analysis and an integral representation formula for the Clarke generalized gradient of locally Lipschitz integral functionals defined on Orlicz spaces.

Let (Ω,μ) be a measure space, E be an arbitrary separable Banach space, $E{*}_{\omega *}$ be the dual equipped with the weak* topology, and g:Ω × E → ℝ be a Carathéodory function which is Lipschitz continuous on each ball of E for almost all s ∈ Ω. Put $G\left(x\right):={\int }_{\Omega }g(s,x\left(s\right))d\mu \left(s\right)$. Consider the integral functional G defined on some non-$L^p$-type Banach space X of measurable functions x: Ω → E. We present several general theorems on sufficient conditions under which any element γ ∈ X* of Clarke’s generalized gradient (multivalued C-subgradient)...

We present two existence results for the Dirichlet elliptic inclusion with an upper semicontinuous multivalued right-hand side in exponential-type Orlicz spaces involving a vector Laplacian, subject to Dirichlet boundary conditions on a domain Ω⊂ ℝ². The first result is obtained via the multivalued version of the Leray-Schauder principle together with the Nakano-Dieudonné sequential weak compactness criterion. The second result is obtained by using the nonsmooth variational technique together with...

Let ⟨X,Y⟩ be a duality pair of M-spaces X,Y of measurable functions from Ω ⊂ ℝ ⁿ into ${ℝ}^d$. The paper deals with Y-weak cluster points ϕ̅ of the sequence $\varphi (·,z_j\left(·\right))$ in X, where $z_j:\Omega \to {ℝ}^m$ is measurable for j ∈ ℕ and $\varphi :\Omega \times {ℝ}^m\to {ℝ}^d$ is a Carathéodory function. We obtain general sufficient conditions, under which, for some negligible set $A_{\varphi }$, the integral $I(\varphi ,{\nu }_x):={\int }_{{ℝ}^m}\varphi (x,\lambda )d{\nu }_x\left(\lambda \right)$ exists for $x\in \Omega \setminus A_{\varphi }$ and $\varphi ̅\left(x\right)=I(\varphi ,{\nu }_x)$ on $\Omega \setminus A_{\varphi }$, where $\nu ={{\nu }_x}_{x\in \Omega }$ is a measurable-dependent family of Radon probability measures on ${ℝ}^m$.