Showing 1–19 of 19 results for author: Sigurdsson, R

Polynomials with exponents in compact convex sets and associated weighted extremal functions -- The Bernstein-Walsh-Siciak theorem

Authors: Benedikt Steinar Magnússon, Ragnar Sigurðsson, Bergur Snorrason

Abstract: We generalize the Bernstein-Walsh-Siciak theorem on polynomial approximation in $\mathbb{C}^n$ to the case where the polynomial ring $\mathcal{P}(\mathbb{C}^n)$ is replaced by a subring $\mathcal{P}^S(\mathbb{C}^n)$ consisting of all polynomials with exponents restricted to sets $mS$, where $S$ is a compact convex subset of $\mathbb{R}_+^n$ with $0 \in S$ and $m = 0, 1, 2, 3, \dots$, and uniform e… ▽ More We generalize the Bernstein-Walsh-Siciak theorem on polynomial approximation in $\mathbb{C}^n$ to the case where the polynomial ring $\mathcal{P}(\mathbb{C}^n)$ is replaced by a subring $\mathcal{P}^S(\mathbb{C}^n)$ consisting of all polynomials with exponents restricted to sets $mS$, where $S$ is a compact convex subset of $\mathbb{R}_+^n$ with $0 \in S$ and $m = 0, 1, 2, 3, \dots$, and uniform estimates of error in the approximation are replaced by weighted uniform estimates with respect to an admissible weight function. △ Less

Submitted 23 February, 2024; v1 submitted 4 June, 2023; originally announced June 2023.

Comments: 10 pages, 1 figure

MSC Class: 32U35 (Primary) 32A08; 32A15; 32U15; 32W05 (Secondary)

Polynomials with exponents in compact convex sets and associated weighted extremal functions -- The Siciak-Zakharyuta theorem

Authors: Benedikt Steinar Magnússon, Álfheiður Edda Sigurðardóttir, Ragnar Sigurðsson

Abstract: The classical Siciak-Zakharyuta theorem states that the Siciak-Zakharyuta function $V_{E}$ of a subset $E$ of $\mathbb C^n$, also called a pluricomplex Green function or global exremal function of $E$, equals the logarithm of the Siciak function $Φ_E$ if $E$ is compact. The Siciak-Zakharyuta function is defined as the upper envelope of functions in the Lelong class that are negative on $E$, and th… ▽ More The classical Siciak-Zakharyuta theorem states that the Siciak-Zakharyuta function $V_{E}$ of a subset $E$ of $\mathbb C^n$, also called a pluricomplex Green function or global exremal function of $E$, equals the logarithm of the Siciak function $Φ_E$ if $E$ is compact. The Siciak-Zakharyuta function is defined as the upper envelope of functions in the Lelong class that are negative on $E$, and the Siciak function is the upper envelope of $m$-th roots of polynomials $p$ in $\mathcal{P}_m(\mathbb C^n)$ of degree $\leq m$ such that $|p|\leq 1$ on $E$. We generalize the Siciak-Zakharyuta theorem to the case where the polynomial space ${\mathcal P}_m(\mathbb C^n)$ is replaced by ${\mathcal P}_m^S(\mathbb C^n)$ consisting of all polynomials with exponents restricted to sets $mS$, where $S$ is a compact convex subset of $\mathbb R^n_+$ with $0\in S$. It states that if $q$ is an admissible weight on a closed set $E$ in $\mathbb C^n$ then $V^S_{E,q}=\logΦ^S_{E,q}$ on $\mathbb C^{*n}$ if and only if the rational points in $S$ form a dense subset of $S$. △ Less

Submitted 23 February, 2024; v1 submitted 14 May, 2023; originally announced May 2023.

Comments: 18 pages, 0 figures

MSC Class: 32U35 (Primary) 32A08; 32A15; 32U15; 32W05 (Secondary)

Polynomials with exponents in compact convex sets and associated weighted extremal functions -- Characterization of polynomials by L2-estimates

Authors: Benedikt Steinar Magnússon, Álfheiður Edda Sigurðardóttir, Ragnar Sigurðsson, Bergur Snorrason

Abstract: The main result of this paper is that an entire function $f$ that is in $L^2(\mathbb C^n,ψ)$ with respect to the weight $ψ(z)=2mH_S(z)+γ\log(1+|z|^2)$ is a polynomial with exponents in $m\widehat S_Γ$. Here $H_S$ is the logarithmic supporting function of a compact convex set $S\subset \mathbb R^n_+$ with $0\in S$, $γ\geq 0$ is small enough in terms of $m$, and $\widehat S_Γ$ is the hull of $S$ wit… ▽ More The main result of this paper is that an entire function $f$ that is in $L^2(\mathbb C^n,ψ)$ with respect to the weight $ψ(z)=2mH_S(z)+γ\log(1+|z|^2)$ is a polynomial with exponents in $m\widehat S_Γ$. Here $H_S$ is the logarithmic supporting function of a compact convex set $S\subset \mathbb R^n_+$ with $0\in S$, $γ\geq 0$ is small enough in terms of $m$, and $\widehat S_Γ$ is the hull of $S$ with respect to a certain cone $Γ$ depending on $S$, $m$ and $γ$. An example showing that in general $\widehat S_Γ$ can not be replaced by $S$ is constructed. △ Less

Submitted 11 May, 2023; originally announced May 2023.

Comments: 7 pages, 2 figures

MSC Class: 32U35 (Primarey) 32A08; 32A15; 32U15; 32W50 (Secondary)

Polynomials with exponents in compact convex sets and associated weighted extremal functions -- Fundamental results

Authors: Benedikt Steinar Magnússon, Álfheiður Edda Sigurðardóttir, Ragnar Sigurðsson, Bergur Snorrason

Abstract: This paper is a survey of plurisubharmonic theory where the usual polynomial ring is replaced by a polynomial ring $\mathcal P^S(\mathbb C^n)$ where the $m$-th degree polynomials have exponents restricted to $mS$, where $S\subseteq \mathbb R^n_+$ is compact, convex and $0\in S$. We assume no other conditions on $S$ as these are necessary for $\mathcal P^S(\mathbb C^n)$ to be a graded polynomial ri… ▽ More This paper is a survey of plurisubharmonic theory where the usual polynomial ring is replaced by a polynomial ring $\mathcal P^S(\mathbb C^n)$ where the $m$-th degree polynomials have exponents restricted to $mS$, where $S\subseteq \mathbb R^n_+$ is compact, convex and $0\in S$. We assume no other conditions on $S$ as these are necessary for $\mathcal P^S(\mathbb C^n)$ to be a graded polynomial ring. We study the relationship between $\mathcal P^S(\mathbb C^n)$ and the class $\mathcal L^S(\mathbb C^n)$ of global plurisubharmonic functions where the growth is determined by the logarithmic supporting function of $S$. We present properties of their respective weighted extremal functions $Φ_{K, q}^S$ and $V_{K, q}^S$ in connection with properties of $S$. △ Less

Submitted 23 February, 2024; v1 submitted 8 May, 2023; originally announced May 2023.

Comments: 33 pages, 1 figure. Version 3: The article has been reorganized and various improvements made, most notably Theorem 3.6, Theorem 5.8 and results on regularity in Sections 4 and 5. Article arXiv:2305.06847, on characterization of polynomials by L^2-estimates, has merged into the article as Section 7

MSC Class: 32U35 (Primary) 32A08; 32A15; 32U15; 32W05 (Secondary)

Order of magnitude increase in laser-target coupling at near-relativistic intensities using compound parabolic concentrators

Authors: Gerald Jackson Williams, Anthony J. Link, Mark William Sherlock, David A. Alessi, Mark W. Bowers, Brad Golick, Matt Hamamoto, Mark R. Hermann, Dan Kalantar, Kai Nicholas LaFortune, Andrew James Mackinnon, Andrew MacPhee, Mario J. -E. Manuel, David Martinez, Michael Mauldin, Lawrence J. Pelz, Matt Prantil, Matthew Quinn, Bruce A. Remington, Ron Sigurdsson, Paul J. Wegner, Kelly Youngblood, Hui Chen

Abstract: Achieving a high conversion efficiency into relativistic electrons is central to short-pulse laser application and fundamentally relies on creating interaction regions with intensities ${\gg}10^{18}$~W/cm$^2$. Small focal length optics are typically employed to achieve this goal; however, this solution is impractical for large kJ-class systems that are constrained by facility geometry, debris conc… ▽ More Achieving a high conversion efficiency into relativistic electrons is central to short-pulse laser application and fundamentally relies on creating interaction regions with intensities ${\gg}10^{18}$~W/cm$^2$. Small focal length optics are typically employed to achieve this goal; however, this solution is impractical for large kJ-class systems that are constrained by facility geometry, debris concerns, and component costs. We fielded target-mounted compound parabolic concentrators to overcome these limitations and achieved nearly an order of magnitude increase to the conversion efficiency and more than tripled electron temperature compared to flat targets. Particle-in-cell simulations demonstrate that plasma confinement within the cone and formation of turbulent laser fields that develop from cone wall reflections are responsible for the improved laser-to-target coupling. {These passive target components can be used to improve the coupling efficiency for all high-intensity short-pulse laser applications, particularly at large facilities with long focal length optics. △ Less

Submitted 21 December, 2020; originally announced December 2020.

Comments: 6 pages, 5 figures

Journal ref: Phys. Rev. E 103, 031201 (2021)

Siciak's homogeneous extremal functions, holomorphic extension and a generalization of Helgason's support theorem

Authors: Jöran Bergh, Ragnar Sigurdsson

Abstract: We prove that a function, which is defined on a union of lines $\mathbb{C} E$ through the origin in $\mathbb{C}^n$ with direction vectors in $E\subset \mathbb{C}^n$ and is holomorphic of fixed finite order and finite type along each line, extends to an entire holomorphic function on $\mathbb{C}^n$ of the same order and finite type, provided that $E$ has positive homogeneous capacity in the sense o… ▽ More We prove that a function, which is defined on a union of lines $\mathbb{C} E$ through the origin in $\mathbb{C}^n$ with direction vectors in $E\subset \mathbb{C}^n$ and is holomorphic of fixed finite order and finite type along each line, extends to an entire holomorphic function on $\mathbb{C}^n$ of the same order and finite type, provided that $E$ has positive homogeneous capacity in the sense of Siciak and all directional derivatives along the lines satisfy a necessary compatibility condition at the origin. We are able to estimate the indicator function of the extension in terms of Siciak's weighted homogeneous extremal function, where the weight is a function of the type of the given function on each given line. As an application we prove a generalization of Helgason's support theorem by showing how the support of a continuous function with rapid decrease at infinity can be located from partial information on the support of its Radon transform. △ Less

Submitted 4 February, 2019; originally announced February 2019.

Comments: 18 pages

MSC Class: Primary 32A15; Secondary 30D15; 32U3

Monge-Ampère measures of plurisubharmonic exhaustions associated to the Lie norm of holomorphic maps

Authors: Ragnar Sigurdsson, Audunn Skuta Snaebjarnarson

Abstract: In this paper we derive formulas for the Monge-Ampère measures of functions of the form $\log|Φ|_c$, where $Φ$ is a holomorphic map on a complex manifold $X$ of dimension $n$ with values in $\mathbb{C}^{n+1}\setminus\{0\}$ and $|\cdot|_c$ is the Lie norm on $\mathbb{C}^{n+1}$. In this paper we derive formulas for the Monge-Ampère measures of functions of the form $\log|Φ|_c$, where $Φ$ is a holomorphic map on a complex manifold $X$ of dimension $n$ with values in $\mathbb{C}^{n+1}\setminus\{0\}$ and $|\cdot|_c$ is the Lie norm on $\mathbb{C}^{n+1}$. △ Less

Submitted 19 March, 2019; v1 submitted 2 October, 2018; originally announced October 2018.

MSC Class: Primary 32; Secondary 32Q28; 32U10; 32W20

A note on weighted homogeneous Siciak-Zaharyuta extremal functions

Authors: Barbara Drinovec Drnovsek, Ragnar Sigurdsson

Abstract: We prove that for any given upper semicontinuous function $\varphi$ on an open subset $E$ of $\mathbb C^n\setminus\{0\}$, such that the complex cone generated by $E$ minus the origin is connected, the homogeneous Siciak-Zaharyuta function with the weight $\varphi$ on $E$, can be represented as an envelope of a disc functional. We prove that for any given upper semicontinuous function $\varphi$ on an open subset $E$ of $\mathbb C^n\setminus\{0\}$, such that the complex cone generated by $E$ minus the origin is connected, the homogeneous Siciak-Zaharyuta function with the weight $\varphi$ on $E$, can be represented as an envelope of a disc functional. △ Less

Submitted 30 January, 2015; originally announced January 2015.

Journal ref: Indag. Math. 27 (2016) 94-99

Limits of multipole pluricomplex Green functions

Authors: Jon I. Magnusson, Alexander Rashkovskii, Ragnar Sigurdsson, Pascal J. Thomas

Abstract: Let $S_ε$ be a set of $N$ points in a bounded hyperconvex domain in $C^n$, all tending to 0 as$ε$ tends to 0. To each set $S_ε$ we associate its vanishing ideal $I_ε$ and the pluricomplex Green function $G_ε$ with poles on the set. Suppose that, as $ε$ tends to 0, the vanishing ideals converge to $I$ (local uniform convergence, or equivalently convergence in the Douady space), and that $G_ε$ conve… ▽ More Let $S_ε$ be a set of $N$ points in a bounded hyperconvex domain in $C^n$, all tending to 0 as$ε$ tends to 0. To each set $S_ε$ we associate its vanishing ideal $I_ε$ and the pluricomplex Green function $G_ε$ with poles on the set. Suppose that, as $ε$ tends to 0, the vanishing ideals converge to $I$ (local uniform convergence, or equivalently convergence in the Douady space), and that $G_ε$ converges to $G$, locally uniformly away from the origin; then the length (i.e. codimension) of $I$ is equal to $N$ and $G \ge G_I$. If the Hilbert-Samuel multiplicity of $I$ is strictly larger than $N$, then $G_ε$ cannot converge to $G_I$. Conversely, if the Hilbert-Samuel multiplicity of $I$ is equal to $N$, (we say that $I$ is a complete intersection ideal), then $G_ε$ does converge to $G_I$. We work out the case of three poles; when the directions defined by any two of the three points converge to limits which don't all coincide, there is convergence, but $G > G_I$. △ Less

Submitted 7 September, 2011; v1 submitted 11 March, 2011; originally announced March 2011.

Comments: 41 p., version 2. A section linking our notion of convergence to the topology of the Douady space has been added. Some typos have been corrected

MSC Class: 32U35; 32A27

Journal ref: International Journal of Mathematics Vol. 23, No. 6 (2012)

Dirichlet Problems for Plurisubharmonic Functions on Compact Sets

Authors: Evgeny A. Poletsky, Ragnar Sigurdsson

Abstract: In this paper we solve the Dirichlet problems for different classes of plurisubharmonic functions on compact sets in $\mathbb C^n$ including continuous, pluriharmonic and maximal functions. In this paper we solve the Dirichlet problems for different classes of plurisubharmonic functions on compact sets in $\mathbb C^n$ including continuous, pluriharmonic and maximal functions. △ Less

Submitted 3 May, 2010; originally announced May 2010.

MSC Class: 32F05; 32E25; 32E20

Siciak-Zahariuta extremal functions, analytic discs and polynomial hulls

Authors: Finnur Larusson, Ragnar Sigurdsson

Abstract: We prove two disc formulas for the Siciak-Zahariuta extremal function of an arbitrary open subset of complex affine space. We use these formulas to characterize the polynomial hull of an arbitrary compact subset of complex affine space in terms of analytic discs. Similar results in previous work of ours required the subsets to be connected. We prove two disc formulas for the Siciak-Zahariuta extremal function of an arbitrary open subset of complex affine space. We use these formulas to characterize the polynomial hull of an arbitrary compact subset of complex affine space in terms of analytic discs. Similar results in previous work of ours required the subsets to be connected. △ Less

Submitted 25 August, 2008; originally announced August 2008.

MSC Class: 32U35 (primary); 32E20; 32Q65; 32U05 (secondary)

Siciak-Zahariuta extremal functions and polynomial hulls

Authors: Finnur Larusson, Ragnar Sigurdsson

Abstract: We use our disc formula for the Siciak-Zahariuta extremal function to characterize the polynomial hull of a connected compact subset of complex affine space in terms of analytic discs. We use our disc formula for the Siciak-Zahariuta extremal function to characterize the polynomial hull of a connected compact subset of complex affine space in terms of analytic discs. △ Less

Submitted 8 January, 2007; originally announced January 2007.

MSC Class: 32E20; 32U35

Disc formulas for the weighted Siciak-Zahariuta extremal function

Authors: Benedikt Steinar Magnusson, Ragnar Sigurdsson

Abstract: We prove a disc formula for the weighted Siciak-Zahariuta extremal function $V_{X,q}$ for an upper semicontinuous function $q$ on an open connected subset $X$ in $\C^n$. This function is also known as the weighted Green function with logaritmic pole at infinity and weighted global extremal function. We prove a disc formula for the weighted Siciak-Zahariuta extremal function $V_{X,q}$ for an upper semicontinuous function $q$ on an open connected subset $X$ in $\C^n$. This function is also known as the weighted Green function with logaritmic pole at infinity and weighted global extremal function. △ Less

Submitted 29 December, 2006; originally announced December 2006.

MSC Class: 32U15; 32U10; 32U30

The relative extremal function for Borel sets in complex manifolds

Authors: Armen Edigarian, Ragnar Sigurdsson

Abstract: We study a disc formula for the relative extremal function for Borel sets in complex manifolds. We study a disc formula for the relative extremal function for Borel sets in complex manifolds. △ Less

Submitted 13 July, 2006; originally announced July 2006.

Comments: 14 pages

MSC Class: 32U15; 32U10; 32U30

The Siciak-Zahariuta extremal function as the envelope of disc functionals

Authors: Finnur Larusson, Ragnar Sigurdsson

Abstract: We establish disc formulas for the Siciak-Zahariuta extremal function of an arbitrary open subset of complex affine space, generalizing Lempert's formula for the convex case. This function is also known as the pluricomplex Green function with logarithmic growth or a logarithmic pole at infinity. We extend Lempert's formula for this function from the convex case to the connected case. We establish disc formulas for the Siciak-Zahariuta extremal function of an arbitrary open subset of complex affine space, generalizing Lempert's formula for the convex case. This function is also known as the pluricomplex Green function with logarithmic growth or a logarithmic pole at infinity. We extend Lempert's formula for this function from the convex case to the connected case. △ Less

Submitted 14 July, 2005; v1 submitted 22 April, 2005; originally announced April 2005.

Comments: Version 3 contains a proof of Lempert's formula for the S-Z function in the convex case, in slightly modified form, for an arbitrary connected open subset of affine space. This was the main problem left unsolved in the earlier versions. The rest of the paper is essentially unchanged from version 2

MSC Class: 32U35

Green functions with singularities along complex spaces

Authors: A. Rashkovskii, R. Sigurdsson

Abstract: We study properties of a Green function G_A with singularities along a complex subspace A of a complex manifold X. It is defined as the largest negative plurisubharmonic function u satisfying locally u\leq \log|ψ|+C, where ψ=(ψ_1, ...,ψ_m), ψ_1, ...,ψ_m are local generators for the ideal sheaf I_A of A, and C is a constant depending on the function u and the generators. A motivation for this stu… ▽ More We study properties of a Green function G_A with singularities along a complex subspace A of a complex manifold X. It is defined as the largest negative plurisubharmonic function u satisfying locally u\leq \log|ψ|+C, where ψ=(ψ_1, ...,ψ_m), ψ_1, ...,ψ_m are local generators for the ideal sheaf I_A of A, and C is a constant depending on the function u and the generators. A motivation for this study is to estimate global bounded functions from the sheaf I_A and thus proving a ``Schwarz Lemma'' for I_A. △ Less

Submitted 30 August, 2004; originally announced August 2004.

Comments: 22 pages

MSC Class: 32U35 (primary); 32C15; 32C25; 32H02; 32S45; 32U25; 32U40 (secondary)

Plurisubharmonicity of envelopes of disc functionals on manifolds

Authors: Finnur Larusson, Ragnar Sigurdsson

Abstract: We show that a disc functional on a complex manifold has a plurisubharmonic envelope if all its pullbacks by holomorphic submersions from domains of holomorphy in affine space do and it is locally bounded above and upper semicontinuous in a certain weak sense. For naturally defined classes of disc functionals on manifolds, this result reduces a property somewhat stronger than having a plurisubha… ▽ More We show that a disc functional on a complex manifold has a plurisubharmonic envelope if all its pullbacks by holomorphic submersions from domains of holomorphy in affine space do and it is locally bounded above and upper semicontinuous in a certain weak sense. For naturally defined classes of disc functionals on manifolds, this result reduces a property somewhat stronger than having a plurisubharmonic envelope to the affine case. The proof uses a recent Stein neighbourhood construction of Rosay, who proved the plurisubharmonicity of the Poisson envelope on all manifolds. As a consequence, the Riesz envelope and the Lelong envelope are plurisubharmonic on all manifolds; for the former, we make use of new work of Edigarian. The basic theory of the three main classes of disc functionals is thereby extended to all manifolds. △ Less

Submitted 24 January, 2002; v1 submitted 23 November, 2001; originally announced November 2001.

Comments: A few minor changes made 24 January 2002

MSC Class: 32U05

The Jensen envelope is plurisubharmonic on all manifolds

Authors: Finnur Larusson, Ragnar Sigurdsson

Abstract: The Jensen envelope $Jφ$ of an upper semicontinuous function $φ$ on a complex manifold X is defined at $x\in X$ as the infimum of $μ(φ)$ over all Jensen measures $μ$ centred at x. The Poisson envelope $Pφ$ is defined by using only the boundary measures of analytic discs centred at x. One of the main open problems in the theory of disc functionals is whether the Poisson envelope is plurisubharmon… ▽ More The Jensen envelope $Jφ$ of an upper semicontinuous function $φ$ on a complex manifold X is defined at $x\in X$ as the infimum of $μ(φ)$ over all Jensen measures $μ$ centred at x. The Poisson envelope $Pφ$ is defined by using only the boundary measures of analytic discs centred at x. One of the main open problems in the theory of disc functionals is whether the Poisson envelope is plurisubharmonic on an arbitrary manifold. This is equivalent to the two envelopes being equal, so plurisubharmonicity of $Jφ$ is a necessary condition for $Pφ$ to be plurisubharmonic. We prove that the Jensen envelope is plurisubharmonic, with no assumptions on the manifold X. Hence $Jφ$ is the largest plurisubharmonic function smaller than $φ$. We also show that the Poisson envelope is plurisubharmonic if and only if boundary measures of analytic discs are dense among Jensen measures. △ Less

Submitted 20 December, 1999; v1 submitted 25 August, 1999; originally announced August 1999.

Comments: The paper, while correct, has been withdrawn, as the main result turned out to be an easy consequence of Edwards' Theorem. This was belatedly discovered by the authors and later pointed out by an anonymous referee

MSC Class: 32F05

Plurisubharmonic extremal functions, Lelong numbers and coherent ideal sheaves

Authors: Finnur Larusson, Ragnar Sigurdsson

Abstract: We introduce a new type of pluricomplex Green function which has a logarithmic pole along a complex subspace A of a complex manifold X. It is the largest negative plurisubharmonic function on X whose Lelong number is at least the Lelong number of log max{|f_1|,...,|f_m|}, where f_1,...,f_m are local generators for the ideal sheaf of A. The pluricomplex Green function with a single logarithmic po… ▽ More We introduce a new type of pluricomplex Green function which has a logarithmic pole along a complex subspace A of a complex manifold X. It is the largest negative plurisubharmonic function on X whose Lelong number is at least the Lelong number of log max{|f_1|,...,|f_m|}, where f_1,...,f_m are local generators for the ideal sheaf of A. The pluricomplex Green function with a single logarithmic pole or a finite number of weighted poles is a very special case of our construction. We give several equivalent definitions of this function and study its properties, including boundary behaviour, continuity, and uniqueness. This is based on and extends our previous work on disc functionals and their envelopes. △ Less

Submitted 29 July, 1998; originally announced July 1998.

Comments: 19 pages. See also http://www.math.uwo.ca/~larusson

MSC Class: 32F05 (primary); 30D50; 31C10; 32C15 (secondary)