-
The Sobolev extension problem on trees and in the plane
Authors:
Jacob Carruth,
Arie Israel
Abstract:
Let $V$ be a finite tree with radially decaying weights. We show that there exists a set $E \subset \mathbb{R}^2$ for which the following two problems are equivalent: (1) Given a (real-valued) function $φ$ on the leaves of $V$, extend it to a function $Φ$ on all of $V$ so that $||Φ||_{L^{1,p}(V)}$ has optimal order of magnitude. Here, $L^{1,p}(V)$ is a weighted Sobolev space on $V$. (2) Given a fu…
▽ More
Let $V$ be a finite tree with radially decaying weights. We show that there exists a set $E \subset \mathbb{R}^2$ for which the following two problems are equivalent: (1) Given a (real-valued) function $φ$ on the leaves of $V$, extend it to a function $Φ$ on all of $V$ so that $||Φ||_{L^{1,p}(V)}$ has optimal order of magnitude. Here, $L^{1,p}(V)$ is a weighted Sobolev space on $V$. (2) Given a function $f:E \rightarrow \mathbb{R}$, extend it to a function $F \in L^{2,p}(\mathbb{R}^2)$ so that $||F||_{L^{2,p}(\mathbb{R}^2)}$ has optimal order of magnitude.
△ Less
Submitted 17 June, 2024;
originally announced June 2024.
-
On the eigenvalue distribution of spatio-spectral limiting operators in higher dimensions, II
Authors:
Kevin Hughes,
Arie Israel,
Azita Mayeli
Abstract:
Let $F$, $S$ be bounded measurable sets in $\mathbb{R}^d$. Let $P_F : L^2(\mathbb{R}^d) \rightarrow L^2(\mathbb{R}^d) $ be the orthogonal projection on the subspace of functions with compact support on $F$, and let $B_S : L^2(\mathbb{R}^d) \rightarrow L^2(\mathbb{R}^d)$ be the orthogonal projection on the subspace of functions with Fourier transforms having compact support on $S$. In this paper, w…
▽ More
Let $F$, $S$ be bounded measurable sets in $\mathbb{R}^d$. Let $P_F : L^2(\mathbb{R}^d) \rightarrow L^2(\mathbb{R}^d) $ be the orthogonal projection on the subspace of functions with compact support on $F$, and let $B_S : L^2(\mathbb{R}^d) \rightarrow L^2(\mathbb{R}^d)$ be the orthogonal projection on the subspace of functions with Fourier transforms having compact support on $S$. In this paper, we derive improved distributional estimates on the eigenvalue sequence $1 \geq λ_1(F,S) \geq λ_2(F,S) \geq \cdots > 0$ of the \emph{spatio-spectral limiting operator} $B_S P_F B_S : L^2(\mathbb{R}^d) \rightarrow L^2(\mathbb{R}^d)$. The significance of such estimates lies in their diverse applications in medical imaging, signal processing, geophysics and astronomy.
Our proof is based on the decomposition techniques developed in \cite{MaRoSp23}. The novelty of our approach is in the use of a two-stage dyadic decomposition with respect to both the spatial and frequency domains, and the application of the results in \cite{ArieAzita23} on the eigenvalues of spatio-spectral limiting operators associated to cubical domains.
△ Less
Submitted 19 March, 2024;
originally announced March 2024.
-
An example related to Whitney's extension problem for $L^{2,p}(\mathbb{R}^2)$ when $1<p<2$
Authors:
Jacob Carruth,
Arie Israel
Abstract:
In this paper, we prove the existence of a bounded linear extension operator $T: L^{2,p}(E) \rightarrow L^{2,p}(\mathbb{R}^2)$ when $1<p<2$, where $E \subset \mathbb{R}^2$ is a certain discrete set with fractal structure. Our proof makes use of a theorem of Fefferman-Klartag on the existence of linear extension operators for radially symmetric binary trees.
In this paper, we prove the existence of a bounded linear extension operator $T: L^{2,p}(E) \rightarrow L^{2,p}(\mathbb{R}^2)$ when $1<p<2$, where $E \subset \mathbb{R}^2$ is a certain discrete set with fractal structure. Our proof makes use of a theorem of Fefferman-Klartag on the existence of linear extension operators for radially symmetric binary trees.
△ Less
Submitted 12 December, 2023;
originally announced December 2023.
-
On the Eigenvalue Distribution of Spatio-Spectral Limiting Operators in Higher Dimensions
Authors:
Arie Israel,
Azita Mayeli
Abstract:
Prolate spheroidal wave functions are an orthogonal family of bandlimited functions on $\mathbb{R}$ that have the highest concentration within a specific time interval. They are also identified as the eigenfunctions of a time-frequency limiting operator (TFLO), and the associated eigenvalues belong to the interval $[0, 1]$. Previous work has studied the asymptotic distribution and clustering behav…
▽ More
Prolate spheroidal wave functions are an orthogonal family of bandlimited functions on $\mathbb{R}$ that have the highest concentration within a specific time interval. They are also identified as the eigenfunctions of a time-frequency limiting operator (TFLO), and the associated eigenvalues belong to the interval $[0, 1]$. Previous work has studied the asymptotic distribution and clustering behavior of the TFLO eigenvalues.
In this paper, we extend these results to multiple dimensions. We prove estimates on the eigenvalues of a \emph{spatio-spectral limiting operator} (SSLO) on $L^2(\mathbb{R}^d)$, which is an alternating product of projection operators associated to given spatial and frequency domains in $\mathbb{R}^d$. If one of the domains is a hypercube, and the other domain is a convex body satisfying a symmetry condition, we derive quantitative bounds on the distribution of the SSLO eigenvalues in the interval $[0,1]$.
To prove our results, we design an orthonormal system of wave packets in $L^2(\mathbb{R}^d)$ that are highly concentrated in the spatial and frequency domains. We show that these wave packets are ``approximate eigenfunctions'' of a spatio-spectral limiting operator. To construct the wave packets, we use a variant of the Coifman-Meyer local sine basis for $L^2[0,1]$, and we lift the basis to higher dimensions using a tensor product.
△ Less
Submitted 14 December, 2023; v1 submitted 23 January, 2023;
originally announced January 2023.
-
On-the-fly control of unknown nonlinear systems with sublinear regret
Authors:
Abraham P. Vinod,
Arie Israel,
Ufuk Topcu
Abstract:
We study the problem of data-driven, constrained control of unknown nonlinear dynamics from a single ongoing and finite-horizon trajectory. We consider a one-step optimal control problem with a smooth, black-box objective, typically a composition of a known cost function and the unknown dynamics. We investigate an on-the-fly control paradigm, i.e., at each time step, the evolution of the dynamics…
▽ More
We study the problem of data-driven, constrained control of unknown nonlinear dynamics from a single ongoing and finite-horizon trajectory. We consider a one-step optimal control problem with a smooth, black-box objective, typically a composition of a known cost function and the unknown dynamics. We investigate an on-the-fly control paradigm, i.e., at each time step, the evolution of the dynamics and the first-order information of the cost are provided only for the executed control action. We propose an optimization-based control algorithm that iteratively minimizes a data-driven surrogate function for the unknown objective. We prove that the proposed approach incurs sublinear cumulative regret (step-wise suboptimality with respect to an optimal one-step controller) and is worst-case optimal among a broad class of data-driven control algorithms. We also present tractable reformulations of the approach that can leverage off-the-shelf solvers for efficient implementations.
△ Less
Submitted 22 June, 2022;
originally announced June 2022.
-
The norm of linear extension operators for $C^{m-1,1}(\mathbb{R}^n)$
Authors:
Jacob Carruth,
Abraham Frei-Pearson,
Arie Israel
Abstract:
Fix integers $m\ge 2$, $n\ge 1$. We prove the existence of a bounded linear extension operator for $C^{m-1,1}(\R^n)$ with operator norm at most $\exp(γD^k)$, where $D := \binom{m+n-1}{n}$ is the number of multiindices of length $n$ and order at most $m-1$, and $γ,k > 0$ are absolute constants (independent of $m,n,E$). Upper bounds on the norm of this operator are relevant to basic questions about…
▽ More
Fix integers $m\ge 2$, $n\ge 1$. We prove the existence of a bounded linear extension operator for $C^{m-1,1}(\R^n)$ with operator norm at most $\exp(γD^k)$, where $D := \binom{m+n-1}{n}$ is the number of multiindices of length $n$ and order at most $m-1$, and $γ,k > 0$ are absolute constants (independent of $m,n,E$). Upper bounds on the norm of this operator are relevant to basic questions about fitting a smooth function to data. Our results improve on a previous construction of extension operators of norm at most $\exp(γD^k 2^D)$. Along the way, we establish a finiteness theorem for $C^{m-1,1}(\R^n)$ with improved bounds on the involved constants.
△ Less
Submitted 23 September, 2022; v1 submitted 8 September, 2021;
originally announced September 2021.
-
Constrained, Global Optimization of Functions with Lipschitz Continuous Gradients
Authors:
Abraham P. Vinod,
Arie Israel,
Ufuk Topcu
Abstract:
We present two first-order, sequential optimization algorithms to solve constrained optimization problems. We consider a black-box setting with a priori unknown, non-convex objective and constraint functions that have Lipschitz continuous gradients. The proposed algorithms balance the exploration of the a priori unknown feasible space with the pursuit of global optimality within in a pre-specified…
▽ More
We present two first-order, sequential optimization algorithms to solve constrained optimization problems. We consider a black-box setting with a priori unknown, non-convex objective and constraint functions that have Lipschitz continuous gradients. The proposed algorithms balance the exploration of the a priori unknown feasible space with the pursuit of global optimality within in a pre-specified finite number of first-order oracle calls. The first algorithm accommodates an infeasible start, and provides either a near-optimal global solution or establishes infeasibility. However, the algorithm may produce infeasible iterates during the search. For a strongly-convex constraint function and a feasible initial solution guess, the second algorithm returns a near-optimal global solution without any constraint violation. In contrast to existing methods, both of the algorithms also compute global suboptimality bounds at every iteration. We also show that the algorithms can satisfy user-specified tolerances in the computed solution with near-optimal complexity in oracle calls for a large class of optimization problems. We propose tractable implementations of the algorithms by exploiting the structure afforded by the Lipschitz continuous gradient property.
△ Less
Submitted 17 November, 2020;
originally announced November 2020.
-
A coordinate-free proof of the finiteness principle for the Whitney extension problem
Authors:
Jacob Carruth,
Abraham Frei-Pearson,
Arie Israel,
Bo'az Klartag
Abstract:
We present a coordinate-free version of Fefferman's solution of Whitney's extension problem in the space $C^{m-1,1}(\mathbb{R}^n)$. While the original argument relies on an elaborate induction on collections of partial derivatives, our proof uses the language of ideals and translation-invariant subspaces in the ring of polynomials. We emphasize the role of compactness in the proof, first in the fa…
▽ More
We present a coordinate-free version of Fefferman's solution of Whitney's extension problem in the space $C^{m-1,1}(\mathbb{R}^n)$. While the original argument relies on an elaborate induction on collections of partial derivatives, our proof uses the language of ideals and translation-invariant subspaces in the ring of polynomials. We emphasize the role of compactness in the proof, first in the familiar sense of topological compactness, but also in the sense of finiteness theorems arising in logic and semialgebraic geometry.
△ Less
Submitted 25 May, 2021; v1 submitted 20 August, 2018;
originally announced August 2018.
-
Controller Synthesis for Safety of Physically-Viable Data-Driven Models
Authors:
Mohamadreza Ahmadi,
Arie Israel,
Ufuk Topcu
Abstract:
We consider the problem of designing finite-horizon safe controllers for a dynamical system for which no explicit analytical model exists and limited data only along a single trajectory of the system are available. Given samples of the states and inputs of the system, and additional side information in terms of regularity of the evolution of the states and conservation laws, we synthesize a contro…
▽ More
We consider the problem of designing finite-horizon safe controllers for a dynamical system for which no explicit analytical model exists and limited data only along a single trajectory of the system are available. Given samples of the states and inputs of the system, and additional side information in terms of regularity of the evolution of the states and conservation laws, we synthesize a controller such that the evolution of the states avoid some pre-specified unsafe set over a given finite horizon. Motivated by recent results on Whitney's extension theorem, we use piecewise-polynomial approximations of the trajectories based on the data along with the regularity side information to formulate a data-driven differential inclusion model that can predict the evolution of the trajectories. For these classes of data- driven differential inclusions, we propose a safety analysis theorem based on barrier certificates. As a corollary of this theorem, we demonstrate that we can design controllers ensuring safety of the solutions to the data-driven differential inclusion over a finite horizon. From a computational standpoint, our results are cast into a set of sum-of-squares programs whenever the certificates are parametrized by polynomials of fixed degree and the sets are semi-algebraic. This computational method allows incorporating side information in terms of conservation laws and integral constraints using Positivstellensatz-type arguments.
△ Less
Submitted 12 January, 2018;
originally announced January 2018.
-
Control-Oriented Learning on the Fly
Authors:
Melkior Ornik,
Arie Israel,
Ufuk Topcu
Abstract:
This paper focuses on developing a strategy for control of systems whose dynamics are almost entirely unknown. This situation arises naturally in a scenario where a system undergoes a critical failure. In that case, it is imperative to retain the ability to satisfy basic control objectives in order to avert an imminent catastrophe. A prime example of such an objective is the reach-avoid problem, w…
▽ More
This paper focuses on developing a strategy for control of systems whose dynamics are almost entirely unknown. This situation arises naturally in a scenario where a system undergoes a critical failure. In that case, it is imperative to retain the ability to satisfy basic control objectives in order to avert an imminent catastrophe. A prime example of such an objective is the reach-avoid problem, where a system needs to move to a certain state in a constrained state space. To deal with limitations on our knowledge of system dynamics, we develop a theory of myopic control. The primary goal of myopic control is to, at any given time, optimize the current direction of the system trajectory, given solely the information obtained about the system until that time. We propose an algorithm that uses small perturbations in the control effort to learn local dynamics while simultaneously ensuring that the system moves in a direction that appears to be nearly optimal, and provide hard bounds for its suboptimality. We additionally verify the usefulness of the algorithm on a simulation of a damaged aircraft seeking to avoid a crash, as well as on an example of a Van der Pol oscillator.
△ Less
Submitted 14 October, 2017; v1 submitted 14 September, 2017;
originally announced September 2017.
-
Interpolation of data by smooth non-negative functions
Authors:
Charles Fefferman,
Arie Israel,
Garving K. Luli
Abstract:
We prove a finiteness principle for interpolation of data by nonnegative Cm functions. Our result raises the hope that one can start to understand constrained interpolation problems in which e.g. the interpolating function F is required to be nonnegative.
We prove a finiteness principle for interpolation of data by nonnegative Cm functions. Our result raises the hope that one can start to understand constrained interpolation problems in which e.g. the interpolating function F is required to be nonnegative.
△ Less
Submitted 7 March, 2016;
originally announced March 2016.
-
Finitness Principles for Smooth Selection
Authors:
Charles Fefferman,
Arie Israel,
Garving K. Luli
Abstract:
In this paper we prove finiteness principles for $C^{m}\left( \mathbb{R}^{n}, \mathbb{R}^{D}\right) $-selection, and for $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 = \mathbb{R}^n$.
In this paper we prove finiteness principles for $C^{m}\left( \mathbb{R}^{n}, \mathbb{R}^{D}\right) $-selection, and for $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 = \mathbb{R}^n$.
△ Less
Submitted 7 March, 2016;
originally announced March 2016.
-
Finiteness Principles for Smooth Selection
Authors:
Charles Fefferman,
Arie Israel,
Garving K. Luli
Abstract:
In this paper we prove finiteness principles for $C^{m}\left( \mathbb{R}^{n}, \mathbb{R}^{D}\right) $-selection, and for $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 = \mathbb{R}^n$. Our results raise the hope that one can start to understa…
▽ More
In this paper we prove finiteness principles for $C^{m}\left( \mathbb{R}^{n}, \mathbb{R}^{D}\right) $-selection, and for $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 = \mathbb{R}^n$. Our results raise the hope that one can start to understand constrained interpolation problems in which e.g. the interpolating function $F$ is required to be nonnegative everywhere.
△ Less
Submitted 27 November, 2015; v1 submitted 15 November, 2015;
originally announced November 2015.
-
The Eigenvalue Distribution of Time-Frequency Localization Operators
Authors:
Arie Israel
Abstract:
We estimate the distribution of the eigenvalues of a family of time-frequency localization operators whose eigenfunctions are the well-known Prolate Spheroidal Wave Functions from mathematical physics. These operators are fundamental to the theory of bandlimited functions and have applications in signal processing. Unlike previous approaches which rely on complicated formulas for the eigenvalues,…
▽ More
We estimate the distribution of the eigenvalues of a family of time-frequency localization operators whose eigenfunctions are the well-known Prolate Spheroidal Wave Functions from mathematical physics. These operators are fundamental to the theory of bandlimited functions and have applications in signal processing. Unlike previous approaches which rely on complicated formulas for the eigenvalues, our approach is simple: We build an orthonormal basis of modulated bump functions (known as wave packets in time-frequency analysis) which approximately diagonalizes the operator of interest.
△ Less
Submitted 15 February, 2015;
originally announced February 2015.
-
Fitting a Sobolev function to data
Authors:
Charles L. Fefferman,
Arie Israel,
Garving K. Luli
Abstract:
We exhibit an algorithm to solve the following extension problem: Given a finite set $E \subset \mathbb{R}^n$ and a function $f: E \rightarrow \mathbb{R}$, compute an extension $F$ in the Sobolev space $L^{m,p}(\mathbb{R}^n)$, $p>n$, with norm having the smallest possible order of magnitude, and secondly, compute the order of magnitude of the norm of $F$. Here, $L^{m,p}(\mathbb{R}^n)$ denotes the…
▽ More
We exhibit an algorithm to solve the following extension problem: Given a finite set $E \subset \mathbb{R}^n$ and a function $f: E \rightarrow \mathbb{R}$, compute an extension $F$ in the Sobolev space $L^{m,p}(\mathbb{R}^n)$, $p>n$, with norm having the smallest possible order of magnitude, and secondly, compute the order of magnitude of the norm of $F$. Here, $L^{m,p}(\mathbb{R}^n)$ denotes the Sobolev space consisting of functions on $\mathbb{R}^n$ whose $m$th order partial derivatives belong to $L^p(\mathbb{R}^n)$. The running time of our algorithm is at most $C N \log N$, where $N$ denotes the cardinality of $E$, and $C$ is a constant depending only on $m$,$n$, and $p$.
△ Less
Submitted 6 November, 2014;
originally announced November 2014.
-
An arithmetic-geometric mean inequality for products of three matrices
Authors:
Arie Israel,
Felix Krahmer,
Rachel Ward
Abstract:
Consider the following noncommutative arithmetic-geometric mean inequality: given positive-semidefinite matrices $\mathbf{A}_1, \dots, \mathbf{A}_n$, the following holds for each integer $m \leq n$:…
▽ More
Consider the following noncommutative arithmetic-geometric mean inequality: given positive-semidefinite matrices $\mathbf{A}_1, \dots, \mathbf{A}_n$, the following holds for each integer $m \leq n$: $$ \frac{1}{n^m}\sum_{j_1, j_2, \dots, j_m = 1}^{n} ||| \mathbf{A}_{j_1} \mathbf{A}_{j_2} \dots \mathbf{A}_{j_m} ||| \geq \frac{(n-m)!}{n!} \sum_{\substack{j_1, j_2, \dots, j_m = 1 \\ \text{all distinct}}}^{n} ||| \mathbf{A}_{j_1} \mathbf{A}_{j_2} \dots \mathbf{A}_{j_m} |||,$$ where $||| \cdot |||$ denotes a unitarily invariant norm, including the operator norm and Schatten p-norms as special cases. While this inequality in full generality remains a conjecture, we prove that the inequality holds for products of up to three matrices, $m \leq 3$. The proofs for $m = 1,2$ are straightforward; to derive the proof for $m=3$, we appeal to a variant of the classic Araki-Lieb-Thirring inequality for permutations of matrix products.
△ Less
Submitted 18 June, 2015; v1 submitted 2 November, 2014;
originally announced November 2014.
-
The Structure of Sobolev Extension Operators
Authors:
Charles L. Fefferman,
Arie Israel,
Garving K. Luli
Abstract:
Let $L^{m,p}(\R^n)$ denote the Sobolev space of functions whose $m$-th derivatives lie in $L^p(\R^n)$, and assume that $p>n$. For $E \subset \R^n$, denote by $L^{m,p}(E)$ the space of restrictions to $E$ of functions $F \in L^{m,p}(\R^n)$. It is known that there exist bounded linear maps $T : L^{m,p}(E) \rightarrow L^{m,p}(\R^n)$ such that $Tf = f$ on $E$ for any $f \in L^{m,p}(E)$. We show that…
▽ More
Let $L^{m,p}(\R^n)$ denote the Sobolev space of functions whose $m$-th derivatives lie in $L^p(\R^n)$, and assume that $p>n$. For $E \subset \R^n$, denote by $L^{m,p}(E)$ the space of restrictions to $E$ of functions $F \in L^{m,p}(\R^n)$. It is known that there exist bounded linear maps $T : L^{m,p}(E) \rightarrow L^{m,p}(\R^n)$ such that $Tf = f$ on $E$ for any $f \in L^{m,p}(E)$. We show that $T$ cannot have a simple form called "bounded depth."
△ Less
Submitted 12 November, 2012; v1 submitted 9 June, 2012;
originally announced June 2012.
-
Sobolev Extension By Linear Operators
Authors:
Charles L. Fefferman,
Arie Israel,
Garving K. Luli
Abstract:
Let $L^{m,p}(\R^n)$ be the Sobolev space of functions with $m^{th}$ derivatives lying in $L^p(\R^n)$. Assume that $n< p < \infty$. For $E \subset \R^n$, let $L^{m,p}(E)$ denote the space of restrictions to $E$ of functions in $L^{m,p}(\R^n)$. We show that there exists a bounded linear map $T : L^{m,p}(E) \rightarrow L^{m,p}(\R^n)$ such that, for any $f \in L^{m,p}(E)$, we have $Tf = f$ on $E$. We…
▽ More
Let $L^{m,p}(\R^n)$ be the Sobolev space of functions with $m^{th}$ derivatives lying in $L^p(\R^n)$. Assume that $n< p < \infty$. For $E \subset \R^n$, let $L^{m,p}(E)$ denote the space of restrictions to $E$ of functions in $L^{m,p}(\R^n)$. We show that there exists a bounded linear map $T : L^{m,p}(E) \rightarrow L^{m,p}(\R^n)$ such that, for any $f \in L^{m,p}(E)$, we have $Tf = f$ on $E$. We also give a formula for the order of magnitude of $\|f\|_{L^{m,p}(E)}$ for a given $f : E \rightarrow \R$ when $E$ is finite.
△ Less
Submitted 20 May, 2012; v1 submitted 11 May, 2012;
originally announced May 2012.
-
A Bounded Linear Extension Operator for $L^{2,p}(\R^2)$
Authors:
Arie Israel
Abstract:
For a finite $E \subset \R^2$, $f:E \rightarrow \R$, and $p>2$, we produce a continuous $F:\R^2 \rightarrow \R$ depending linearly on $f$, taking the same values as $f$ on $E$, and with $L^{2,p}(\R^2)$ semi-norm minimal up to a factor $C=C(p)$. This solves the Whitney extension problem for the Sobolev space $L^{2,p}(\R^2)$. A standard method for solving extension problems is to find a collection o…
▽ More
For a finite $E \subset \R^2$, $f:E \rightarrow \R$, and $p>2$, we produce a continuous $F:\R^2 \rightarrow \R$ depending linearly on $f$, taking the same values as $f$ on $E$, and with $L^{2,p}(\R^2)$ semi-norm minimal up to a factor $C=C(p)$. This solves the Whitney extension problem for the Sobolev space $L^{2,p}(\R^2)$. A standard method for solving extension problems is to find a collection of local extensions, each defined on a small square, which if chosen to be mutually consistent can be patched together to form a global extension defined on the entire plane. For Sobolev spaces the standard form of consistency is not applicable due to the (generically) non-local structure of the trace norm. In this paper, we define a new notion of consistency among local Sobolev extensions and apply it toward constructing a bounded linear extension operator. Our methods generalize to produce similar results for the $n$-dimensional case, and may be applicable toward understanding higher smoothness Sobolev extension problems.
△ Less
Submitted 5 November, 2010; v1 submitted 2 November, 2010;
originally announced November 2010.