Search arXiv⌕ Search

arXiv subjects

Almaz Butaev

Publications and source records attributed to Almaz Butaev.

6 recordsLinked to original sources
arXiv2026

Approximation of harmonic functions on metric measure spaces of controlled geometry via discrete graphs

Given a complete doubling metric measure space $X$ that supports a $2$-Poincar\'e inequality, we approximate harmonic functions on a bounded domain $\Omega$ with a prescribed Newton-Sobolev boundary data. Our approach is based on the approximation of the underlying space $X$ by a family of graphs. This approximated harmonic function is realized as the weak limit of a sequence of functions obtained from the graph minimizers. We prove that such a function is a minimizer with respect to a nonlinear energy form on $N^{1,2}_0(\Omega)$, which is in turn, majorized by the upper gradient energy on $N^{1,2}(X)$. This energy form on $N^{1,2}_0(\Omega)$ is obtained as a $\Gamma$-limit of a sequence of induced energy forms projected from the discrete energy form on the approximating graphs.

math.AP↗
arXiv2023

Construction of a Dirichlet form on metric measure spaces of controlled geometry

Given a compact doubling metric measure space $X$ that supports a $2$-Poincar\'e inequality, we construct a Dirichlet form on $N^{1,2}(X)$ that is comparable to the upper gradient energy form on $N^{1,2}(X)$. Our approach is based on the approximation of $X$ by a family of graphs that is doubling and supports a $2$-Poincar\'e inequality. We construct a bilinear form on $N^{1,2}(X)$ using the Dirichlet form on the graph. We show that the $\Gamma$-limit $\mathcal{E}$ of this family of bilinear forms (by taking a subsequence) exists and that $\mathcal{E}$ is a Dirichlet form on $X$. Properties of $\mathcal{E}$ are established. Moreover, we prove that $\mathcal{E}$ has the property of matching boundary values on a domain $\Omega\subseteq X$. This construction makes it possible to approximate harmonic functions (with respect to the Dirichlet form $\mathcal{E}$) on a domain in $X$ with a prescribed Lipschitz boundary data via a numerical scheme dictated by the approximating Dirichlet forms, which are discrete objects.

math.MG↗
arXiv2022

Local vanishing mean oscillation

We consider various notions of vanishing mean oscillation on a (possibly unbounded) domain $\Omega \subset \mathbb{R}^n$, and prove an analogue of Sarason's theorem, giving sufficient conditions for the density of bounded Lipschitz functions in the nonhomogeneous space $\rm{vmo}(\Omega)$. We also study $\rm{cmo}(\Omega)$, the closure in $\rm{bmo}(\Omega)$ of the continuous functions with compact support in $\Omega$. Using these approximation results, we prove that there is a bounded extension from $\rm{vmo}(\Omega)$ and $\rm{cmo}(\Omega)$ to the corresponding spaces on $\mathbb{R}^n$, if and only if $\Omega$ is a locally uniform domain.

math.AP↗
arXiv2021

Locally uniform domains and extension of bmo functions

We prove that for a domain $\Omega \subset \mathbb{R}^n$, being $(\epsilon,\delta)$ in the sense of Jones is equivalent to being an extension domain for bmo$(\Omega)$, the nonhonomogeneous version of the space of function of bounded mean oscillation on $\Omega$. In the process we demonstrate that these conditions are equivalent to local versions of two other conditions characterizing uniform domains, one involving the presence of length cigars between nearby points and the other a local version of the quasi-hyperbolic uniform condition. Our results show that the definition of bmo$(\Omega)$ is closely connected to the geometry of the domain.

math.FA↗
arXiv2018

On the extension of VMO functions

We consider functions of vanishing mean oscillation on a bounded domain $\Omega$ and prove a $\rm{VMO}$ analogue of the extension theorem of P. Jones for $\rm{BMO}(\Omega)$. We show that if $\Omega$ satisfies the same condition imposed by Jones (i.e.\ is a uniform domain), there is a linear extension map from $\rm{VMO}(\Omega)$ to $\rm{VMO}(\mathbb{R}^n)$ which is bounded in the $\rm{BMO}$ norm. Moreover, if such an extension map exists from $\rm{VMO}(\Omega)$ to $\rm{BMO}(\mathbb{R}^n)$, then the domain is uniform.

math.FA↗