Source author record

Garving K. Luli

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

12works
9topics
4close collaborators

Published work

12 publications

preprint2022arXiv

Smooth Selection for Infinite Sets

Whitney's extension problem asks the following: Given a compact set E⊂RnE\subset\mathbb{R}^n and a function f:E→Rf:E\to \mathbb{R}, how can we tell whether there exists F∈Cm(Rn)F\in C^m(\mathbb{R}^n) such that F=fF=f on EE? A 2006 theorem of Charles Fefferman \cite{F06} answers this question in its full generality. In this paper, we establish a version of this theorem adapted for variants of the Whitney extension problem, including nonnegative extensions and the smooth selection problems. Among other things, we generalize the Finiteness Principle for smooth selection by Fefferman-Israel-Luli \cite{FIL16} to the setting of infinite sets. Our main result is stated in terms of the iterated Glaeser refinement of a bundle formed by taking potential Taylor polynomials at each point of EE. In particular, we show that such bundles (and any bundles with closed, convex fibers) stabilize after a bounded number of Glaeser refinements, thus strengthening the previous results of Glaeser, Bierstone-Milman-Pawłucki, and Fefferman which only hold for bundles with affine fibers.

preprint2020arXiv

Nonnegative C2(R2)C^2(\mathbb{R}^2) interpolation

In this paper, we prove two improved versions of the Finiteness Principle for nonnegative C2(R2) C^2(\mathbb{R}^2) interpolation, previously proven by Fefferman, Israel, and Luli. The first version sharpens the finiteness constant to 64 64 , and the second version carries better computational practicality. Along the way, we also provide detailed construction of nonnegative C2 C^2 interpolants in one-dimension, and prove the nonexistence of a bounded linear C2 C^2 -extension operator that preserves nonnegativity.

preprint2016arXiv

On the generalized Buckley-Leverett equation

In this paper we study the generalized Buckley-Leverett equation with nonlocal regularizing terms. One of these regularizing terms is diffusive, while the other one is conservative. We prove that if the regularizing terms have order higher than one (combined), there exists a global strong solution for arbitrarily large initial data. In the case where the regularizing terms have combined order one, we prove the global existence of solution under some size restriction for the initial data. Moreover, in the case where the conservative regularizing term vanishes, regardless of the order of the diffusion and under certain hypothesis on the initial data, we also prove the global existence of strong solution and we obtain some new entropy balances. Finally, we provide numerics suggesting that, if the order of the diffusion is 0<α<10< α<1, a finite time blow up of the solution is possible.

preprint2015arXiv

Finiteness Principles for Smooth Selection

In this paper we prove finiteness principles for Cm(Rn,RD)C^{m}\left( \mathbb{R}^{n}, \mathbb{R}^{D}\right) -selection, and for Cm−1,1(Rn,RD)C^{m-1,1}\left( \mathbb{R}^{n}, \mathbb{R}^{D}\right) -selection, in particular providing a proof for a conjecture of Brudyni-Shvartsman (1994) on Lipschitz selections for the case when the domain is X=RnX = \mathbb{R}^n. Our results raise the hope that one can start to understand constrained interpolation problems in which e.g. the interpolating function FF is required to be nonnegative everywhere.

preprint2014arXiv

Fitting a Sobolev function to data

We exhibit an algorithm to solve the following extension problem: Given a finite set E⊂RnE \subset \mathbb{R}^n and a function f:E→Rf: E \rightarrow \mathbb{R}, compute an extension FF in the Sobolev space Lm,p(Rn)L^{m,p}(\mathbb{R}^n), p>np>n, with norm having the smallest possible order of magnitude, and secondly, compute the order of magnitude of the norm of FF. Here, Lm,p(Rn)L^{m,p}(\mathbb{R}^n) denotes the Sobolev space consisting of functions on Rn\mathbb{R}^n whose mmth order partial derivatives belong to Lp(Rn)L^p(\mathbb{R}^n). The running time of our algorithm is at most CNlog⁡NC N \log N, where NN denotes the cardinality of EE, and CC is a constant depending only on mm,nn, and pp.

preprint2012arXiv

Sobolev Extension By Linear Operators

Let Lm,p(Rn)L^{m,p}(\R^n) be the Sobolev space of functions with mthm^{th} derivatives lying in Lp(Rn)L^p(\R^n). Assume that n<p<∞n< p < \infty. For E⊂RnE \subset \R^n, let Lm,p(E)L^{m,p}(E) denote the space of restrictions to EE of functions in Lm,p(Rn)L^{m,p}(\R^n). We show that there exists a bounded linear map T:Lm,p(E)→Lm,p(Rn)T : L^{m,p}(E) \rightarrow L^{m,p}(\R^n) such that, for any f∈Lm,p(E)f \in L^{m,p}(E), we have Tf=fTf = f on EE. We also give a formula for the order of magnitude of ∥f∥Lm,p(E)\|f\|_{L^{m,p}(E)} for a given f:E→Rf : E \rightarrow \R when EE is finite.

preprint2012arXiv

The Structure of Sobolev Extension Operators

Let Lm,p(Rn)L^{m,p}(\R^n) denote the Sobolev space of functions whose mm-th derivatives lie in Lp(Rn)L^p(\R^n), and assume that p>np>n. For E⊂RnE \subset \R^n, denote by Lm,p(E)L^{m,p}(E) the space of restrictions to EE of functions F∈Lm,p(Rn)F \in L^{m,p}(\R^n). It is known that there exist bounded linear maps T:Lm,p(E)→Lm,p(Rn)T : L^{m,p}(E) \rightarrow L^{m,p}(\R^n) such that Tf=fTf = f on EE for any f∈Lm,p(E)f \in L^{m,p}(E). We show that TT cannot have a simple form called "bounded depth."

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.