-
Variational $p$-harmonious functions: existence and convergence to $p$-harmonic functions
Authors:
Evan W. Chandra,
Michinori Ishiwata,
Rolando Magnanini,
Hidemitsu Wadade
Abstract:
In a recent paper, the last three authors showed that a game-theoretic $p$-harmonic function $v$ is characterized by an asymptotic mean value property with respect to a kind of mean value $ν_p^r[v](x)$ defined variationally on balls $B_r(x)$. In this paper, in a domain $\Om\subset\RR^N$, $N\ge 2$, we consider the operator $μ_p^\ve$, acting on continuous functions on $\ol{\Om}$, defined by the form…
▽ More
In a recent paper, the last three authors showed that a game-theoretic $p$-harmonic function $v$ is characterized by an asymptotic mean value property with respect to a kind of mean value $ν_p^r[v](x)$ defined variationally on balls $B_r(x)$. In this paper, in a domain $\Om\subset\RR^N$, $N\ge 2$, we consider the operator $μ_p^\ve$, acting on continuous functions on $\ol{\Om}$, defined by the formula $μ_p^\ve[v](x)=ν^{r_\ve(x)}_p[v](x)$, where $r_\ve(x)=\min[\ve,\dist(x,\Ga)]$ and $\Ga$ denotes the boundary of $Ω$. We first derive various properties of $μ^\ve_p$ such as continuity and monotonicity. Then, we prove the existence and uniqueness of a function $u^\ve\in C(\ol{\Om})$ satisfying the Dirichlet-type problem: $$ u(x)=μ_p^\ve[u](x) \ \mbox{ for every } \ x\in\Om,\quad u=g \ \mbox{ on } \ \Ga, $$ for any given function $g\in C(\Ga)$. This result holds, if we assume the existence of a suitable notion of barrier for all points in $\Ga$. That $u^\ve$ is what we call the \textit{variational} $p$-harmonious function with Dirichlet boundary data $g$, and is obtained by means of a Perron-type method based on a comparison principle. \par We then show that the family $\{ u^\ve\}_{\ve>0}$ gives an approximation scheme for the viscosity solution $u\in C(\ol{\Om})$ of $$ \De_p^G u=0 \ \mbox{ in }\Om, \quad u=g \ \mbox{ on } \ \Ga, $$ where $\De_p^G$ is the so-called game-theoretic (or homogeneous) $p$-Laplace operator. In fact, we prove that $u^\ve$ converges to $u$, uniformly on $\ol{\Om}$ as $\ve\to 0$.
△ Less
Submitted 7 January, 2021;
originally announced January 2021.
-
On an effect of inhomogeneous constraints for a maximizing problem of the Sobolev embedding associated with the space of bounded variation
Authors:
Michinori Ishiwata,
Hidemitsu Wadade
Abstract:
In this paper, we consider a maximizing problem associated with the Sobolev type embedding on the space of bounded variation. We show that, although the maximizing problem suffers from both of the non-compactness of vanishing and concentrating phenomena, there exists a maximizer for some range of the exponents. Furthermore, we show that any maximizer must be given by a characteristic function on a…
▽ More
In this paper, we consider a maximizing problem associated with the Sobolev type embedding on the space of bounded variation. We show that, although the maximizing problem suffers from both of the non-compactness of vanishing and concentrating phenomena, there exists a maximizer for some range of the exponents. Furthermore, we show that any maximizer must be given by a characteristic function on a ball.
△ Less
Submitted 19 May, 2019;
originally announced May 2019.
-
Existence and non-existence of maximizers for the Moser-Trudinger type inequalities under inhomogeneous constraints
Authors:
Norihisa Ikoma,
Michinori Ishiwata,
Hidemitsu Wadade
Abstract:
In this paper, we study the existence and non-existence of maximizers for the Moser-Trudinger type inequalities in $\Bbb R^N$ of the form \[ D_{N,α}(a,b):= \sup_{u\in W^{1,N}(\Bbb R^N),\,\|\nabla u\|_{L^N(\Bbb R^N)}^a+\|u\|_{L^N(\Bbb R^N)}^b=1} \int_{\Bbb R^N}Φ_N\left(α|u|^{N'}\right)dx. \] Here $N\geq 2$, $N'=\frac{N}{N-1}$, $a,b>0$, $α\in (0,α_N]$ and…
▽ More
In this paper, we study the existence and non-existence of maximizers for the Moser-Trudinger type inequalities in $\Bbb R^N$ of the form \[ D_{N,α}(a,b):= \sup_{u\in W^{1,N}(\Bbb R^N),\,\|\nabla u\|_{L^N(\Bbb R^N)}^a+\|u\|_{L^N(\Bbb R^N)}^b=1} \int_{\Bbb R^N}Φ_N\left(α|u|^{N'}\right)dx. \] Here $N\geq 2$, $N'=\frac{N}{N-1}$, $a,b>0$, $α\in (0,α_N]$ and $Φ_N(t):=e^t-\sum_{j=0}^{N-2}\frac{t^j}{j!}$ where $α_N:= N ω_{N-1}^{1/(N-1)}$ and $ω_{N-1}$ denotes the surface area of the unit ball in $\Bbb R^N$. We show the existence of the threshold $α_\ast = α_\ast(a,b,N) \in [0,α_N]$ such that $D_{N,α}(a,b)$ is not attained if $α\in (0,α_\ast)$ and is attained if $ α\in (α_\ast , α_N)$. We also provide the conditions on $(a,b)$ in order that the inequality $α_\ast < α_N$ holds.
△ Less
Submitted 3 June, 2018; v1 submitted 10 January, 2018;
originally announced January 2018.
-
Remarks on the Rellich inequality
Authors:
Shuji Machihara,
Tohru Ozawa,
Hidemitsu Wadade
Abstract:
We study the Rellich inequalities in the framework of equalities. We present equalities which imply the Rellich inequalities by drop** remainders. This provides a simple and direct understanding of the Rellich inequalities as well as the nonexistence of nontrivial extremisers.
We study the Rellich inequalities in the framework of equalities. We present equalities which imply the Rellich inequalities by drop** remainders. This provides a simple and direct understanding of the Rellich inequalities as well as the nonexistence of nontrivial extremisers.
△ Less
Submitted 11 November, 2016;
originally announced November 2016.
-
Remarks on the Hardy type inequalities with remainder terms in the framework of equalities
Authors:
Shuji Machihara,
Tohru Ozawa,
Hidemitsu Wadade
Abstract:
We study the Hardy type inequalities in the framework of equalities. We present equalities which immediately imply Hardy type inequalities by drop** the remainder term. Simultaneously we give a characterization of the class of functions which makes the remainder term vanish. A point of our observation is to apply an orthogonality properties in general Hilbert space, and which gives a simple and…
▽ More
We study the Hardy type inequalities in the framework of equalities. We present equalities which immediately imply Hardy type inequalities by drop** the remainder term. Simultaneously we give a characterization of the class of functions which makes the remainder term vanish. A point of our observation is to apply an orthogonality properties in general Hilbert space, and which gives a simple and direct understanding of the Hardy type inequalities as well as the nonexistence of nontrivial extremizers.
△ Less
Submitted 10 November, 2016;
originally announced November 2016.
-
A natural approach to the asymptotic mean value property for the $p$-Laplacian
Authors:
Michinori Ishiwata,
Rolando Magnanini,
Hidemitsu Wadade
Abstract:
Let $1\le p\le\infty$. We show that a function $u\in C(\mathbb R^N)$ is a viscosity solution to the normalized $p$-Laplace equation $Δ_p^n u(x)=0$ if and only if the asymptotic formula $$ u(x)=μ_p(\ve,u)(x)+o(\ve^2) $$ holds as $\ve\to 0$ in the viscosity sense. Here, $μ_p(\ve,u)(x)$ is the $p$-mean value of $u$ on $B_\ve(x)$ characterized as a unique minimizer of…
▽ More
Let $1\le p\le\infty$. We show that a function $u\in C(\mathbb R^N)$ is a viscosity solution to the normalized $p$-Laplace equation $Δ_p^n u(x)=0$ if and only if the asymptotic formula $$ u(x)=μ_p(\ve,u)(x)+o(\ve^2) $$ holds as $\ve\to 0$ in the viscosity sense. Here, $μ_p(\ve,u)(x)$ is the $p$-mean value of $u$ on $B_\ve(x)$ characterized as a unique minimizer of $$ \inf_{\la\in\RR}\nr u-\la\nr_{L^p(B_\ve(x))}. $$ This kind of asymptotic mean value property (AMVP) extends to the case $p=1$ previous (AMVP)'s obtained when $μ_p(\ve,u)(x)$ is replaced by other kinds of mean values. The natural definition of $μ_p(\ve,u)(x)$ makes sure that this is a monotonic and continuous (in the appropriate topology) functional of $u$. These two properties help to establish a fairly general proof of (AMVP), that can also be extended to the (normalized) parabolic $p$-Laplace equation.
△ Less
Submitted 2 April, 2016;
originally announced April 2016.