Source author record

Amol Sasane

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

33works
20topics
4close collaborators

Published work

33 publications

preprint2022arXiv

Banach algebras of symmetric functions on the polydisc

Let D={z∈C:∣z∣<1}{\mathbb{D}}=\{z\in \mathbb{C}:|z|<1\} and for an integer d≥1d\geq 1, let SdS_d denote the symmetric group, consisting of of all permutations of the set {1,⋯ ,d}\{1,\cdots, d\}. A function f:Dd→Cf:{\mathbb{D}}^d\rightarrow \mathbb{C} is symmetric if f(z1,⋯ ,zd)=f(zσ(1),⋯ ,zσ(d))f(z_1,\cdots, z_d)=f(z_{σ(1)},\cdots, z_{σ(d)}) for all σ∈Sdσ\in S_d and all (z1,⋯ ,zd)∈Dd(z_1,\cdots, z_d)\in {\mathbb{D}}^d. The polydisc algebra A(Dd)A({\mathbb{D}}^d) is the Banach algebra of all holomorphic functions ff on the polydisc Dd{\mathbb{D}}^d that can be continuously extended to the closure of the polydisc in Cd{\mathbb{C}}^d, with pointwise operations and the supremum norm (given by ∥f∥∞:=sup⁡z∈Dd∣f(z)∣\|f\|_\infty:=\sup_{\mathbf{z} \in {\mathbb{D}}^d} |f(\mathbf{z})|). Let Asym(Dd)A_{\textrm{sym}}({\mathbb{D}}^d) be the Banach subalgebra of A(Dd)A({\mathbb{D}}^d) consisting of all symmetric functions in the polydisc algebra. Algebraic-analytic properties of Asym(Dd)A_{\textrm{sym}}({\mathbb{D}}^d) are investigated. In particular, the following results are shown: the corona theorem, description of the maximal ideal space and its contractibility, Hermiteness, projective-freeness, and non-coherence.

preprint2022arXiv

Generation of the special linear group by elementary matrices in some measure Banach algebras

For a commutative unital ring RR, and n∈Nn\in \mathbb{N}, let SLn(R)\textrm{SL}_n(R) denote the special linear group over RR, and En(R)\textrm{E}_n(R) the subgroup of elementary matrices. Let M+{\mathcal{M}}^+ be the Banach algebra of all complex Borel measures on [0,+∞)[0,+\infty) with the norm given by the total variation, the usual operations of addition and scalar multiplication, and with convolution. It is shown that SLn(A)=En(A)\textrm{SL}_n(A)=\textrm{E}_n(A) for Banach subalgebras AA of M+{\mathcal{M}}^+ that are closed under the operation M+∋μ↦μt{\mathcal{M}}^+\owns μ\mapsto μ_t, t∈[0,1]t\in [0,1], where μt(E):=∫E(1−t)xdμ(x)μ_t(E):=\int_E (1-t)^x dμ(x) for t∈[0,1)t\in [0,1), and Borel subsets EE of [0,+∞)[0,+\infty), and μ1:=μ({0})δμ_1:=μ(\{0\})δ, where δ∈M+δ\in {\mathcal{M}}^+ is the Dirac measure. Many illustrative examples of such Banach algebras AA are given. An example of a Banach subalgebra A⊂M+A\subset {\mathcal{M}}^+, that does not possess the closure property above, but for which SLn(A)=En(A)\textrm{SL}_n(A)=\textrm{E}_n(A) neverthess holds, is also given.

preprint2022arXiv

On the Gleason-Kahane-Żelazko theorem for associative algebras

The classical Gleason-Kahane-Żelazko Theorem states that a linear functional on a complex Banach algebra not vanishing on units, and such that Λ(1)=1Λ(\mathbf 1)=1, is multiplicative, that is, Λ(ab)=Λ(a)Λ(b)Λ(ab)=Λ(a)Λ(b) for all a,b∈Aa,b\in A. We study the GKŻ property for associative unital algebras, especially for function algebras. In a GKŻ algebra AA over a field of at least 33 elements, and having an ideal of codimension 11, every element is a finite sum of units. A real or complex algebra with just countably many maximal left (right) ideals, is a GKŻ algebra. If AA is a commutative algebra, then the localisation APA_{P} is a GKŻ-algebra for every prime ideal PP of AA. Hence the GKŻ property is not a local-global property. The class of GKŻ algebras is closed under homomorphic images. If a function algebra A⊆FXA\subseteq \mathbb F^{X} over a subfield F\mathbb F of C\mathbb C, contains all the bounded functions in FX\mathbb F^{X}, then each element of AA is a sum of two units. If AA contains also a discrete function, then AA is a GKŻ algebra. We prove that the algebra of periodic distributions, and the unitisation of the algebra of distributions with support in (0,∞)(0,\infty) satisfy the GKŻ property, while the algebra of compactly supported distributions does not.

preprint2020arXiv

A summation method based on the Fourier series of periodic distributions and an example

A generalised summation method is considered based on the Fourier series of periodic distributions. It is shown that eit−2e2it+3e3it−4e4it+−⋯=Pfeit(1+eit)2+iπ∑n∈Zδ(2n+1)π′, e^{it}-2e^{2it}+3e^{3it}-4e^{4it}+-\cdots = {\mathrm P\mathrm f} {\displaystyle \frac{e^{it}}{(1+e^{it})^2}} +iπ\displaystyle \sum_{n\in \mathbb{Z}} δ'_{(2n+1)π}, where Pfeit(1+eit)2∈D′(R){\mathrm P\mathrm f} {\displaystyle \frac{e^{it}}{(1+e^{it})^2}}\in \mathcal{D}'(\mathbb{R}) is the 2π2π-periodic distribution given by \begin{eqnarray*} \left\langle {\mathrm P\mathrm f} {\displaystyle \frac{e^{it}}{(1+e^{it})^2}} ,φ\right\rangle &=& \lim_{ε\searrow 0} \left( \int_{(-δ,π-ε)\cup(π+ε,2π+δ)}\frac{φ(t) e^{it}}{(1+e^{it})^2}dt -\frac{φ(π)}{\tan (ε/2)}\right) \end{eqnarray*} φ∈D(R) φ\in \mathcal{D}(\mathbb{R}) with support supp(φ)⊂(−δ,2π+δ)\textrm{supp}(φ)\subset (-δ,2π+δ), where δ∈(0,π)δ\in (0,π). Applying the generalised summation method, we determine the sum of the divergent series 1+2+3+⋯1+2+3+\cdots, and more generally 1k+2k+3k+⋯1^k+2^k+3^k+\cdots for k∈Nk\in \mathbb{N}.

preprint2020arXiv

On the existence of spatially tempered null solutions to linear constant coefficient PDEs

Given a linear, constant coefficient partial differential equation in Rd+1{\mathbb{R}}^{d+1}, where one independent variable plays the role of `time', a distributional solution is called a null solution if its past is zero. Motivated by physical considerations, we consider distributional solutions that are tempered in the spatial directions alone (and do not impose any restriction in the time direction). Considering such spatially tempered distributional solutions, we give an algebraic-geometric characterization, in terms of the polynomial describing the PDE at hand, for the null solution space to be trivial (that is, consisting only of the zero distribution).

preprint2016arXiv

On the Krull Intersection Theorem in Function Algebras

A version of the Krull Intersection Theorem states that for Noetherian domains, the Krull intersection ki(I)ki(I) of every proper ideal II is trivial; that is ki(I):=⋂n=1∞In={0}. ki(I):=\displaystyle\bigcap_{n=1}^\infty I^n = \{0\}. We investigate the validity of this result for various function algebras RR, present ideals II of RR for which ki(I)≠{0} ki(I)\neq \{0\}, and give conditions on II so that ki(I)={0}ki(I)=\{0\}.

preprint2015arXiv

Alternative proofs for Kocik's Geometric Diagram for Relativistic Velocity Addition

A geometric construction for the Poincare formula for relativistic addition of velocities in one dimension was given by Jerzy Kocik in "Geometric Diagram for Relativistic Addition of Velocities", American Journal of Physics, volume 80, page 737, 2012. While the proof given there used Cartesian coordinate geometry, three alternative approaches are given in this article: a trigonometric one, one via Euclidean geometry, and one using projective geometry.

preprint2014arXiv

A refinement of the generalized chordal distance

For single input single output systems, we give a refinement of the generalized chordal metric. Our metric is given in terms of coprime factorizations, but it coincides with the extension of Vinnicombe's nu-metric given in earlier work by Ball and Sasane if the coprime factorizations happens to be normalized. The advantage of the metric introduced in this article is its easy computability (since it relies only on coprime factorizations, and does not require normalized coprime factorizations). We also give concrete formulations of our abstract metric for standard classes of stable transfer functions.

preprint2013arXiv

A subalgebra of the Hardy algebra relevant in control theory and its algebraic-analytic properties

We denote by A_0+AP_+ the Banach algebra of all complex-valued functions f defined in the closed right half plane, such that f is the sum of a holomorphic function vanishing at infinity and a ``causal'' almost periodic function. We give a complete description of the maximum ideal space M(A_0+AP_+) of A_0+AP_+. Using this description, we also establish the following results: (1) The corona theorem for A_0+AP_+. (2) M(A_0+AP_+) is contractible (which implies that A_0+AP_+ is a projective free ring). (3) A_0+AP_+ is not a GCD domain. (4) A_0+AP_+ is not a pre-Bezout domain. (5) A_0+AP_+ is not a coherent ring. The study of the above algebraic-anlaytic properties is motivated by applications in the frequency domain approach to linear control theory, where they play an important role in the stabilization problem.

preprint2013arXiv

Reformulation of the extension of the νν-metric for H∞H^{\infty}

The classical nu-metric introduced by Vinnicombe in robust control theory for rational plants was extended to classes of nonrational transfer functions in Ball and Sasane [Complex Analysis and Operator Theory; 2012]. In Sasane [Mathematics of Control and Related Fields; 2012], an extension of the classical nu-metric was given when the underlying ring of stable transfer functions is the Hardy algebra, H^infty. However, this particular extension to H^infty did not directly fit in the abstract framework given in Ball and Sasane [CAOT 2012]. In this paper we show that the case of H^infty also fits into the general abstract framework in [BS CAOT 2012] and that the nu-metric defined in this setting is identical to the extension of the nu-metric defined in Sasane [MCRF 2012]. This is done by introducing a particular Banach algebra, which is the inductive limit of certain C*-algebras.

preprint2013arXiv

Shannon's sampling theorem in a distributional setting

The classical Shannon sampling theorem states that a signal f with Fourier transform F in L^2(R) having its support contained in (-π,π) can be recovered from the sequence of samples (f(n))_{n in Z} via f(t)=\sum_{n in Z} f(n) (sin(π(t -n)))/(π(t-n)) (t in R). In this article we prove a generalization of this result under the assumption that F is a compactly supported distribution with its support contained in (-π,π).

preprint2011arXiv

Extension of the νν-metric for stabilizable plants over H∞H^\infty

An abstract νν-metric was introduced by Ball and Sasane, with a view towards extending the classical νν-metric of Vinnicombe from the case of rational transfer functions to more general nonrational transfer function classes of infinite-dimensional linear control systems. In this short note, we give an important concrete special instance of the abstract νν-metric, by verifying that all the assumptions demanded in the abstract set-up are satisfied when the ring of stable transfer functions is the Hardy algebra H∞H^\infty. This settles the open question implicit in \cite{BalSas2}.

preprint2011arXiv

On two natural extensions of Vinnicombe's metric: their noncoincidence yet equivalence on stabilizable plants over A_+

Let A_+ be the ring of Laplace transforms of complex Borel measures on R with support in [0,+\infty) which do not have a singular nonatomic part. We compare the nu-metric d_{A_+} for stabilizable plants over A_+ given in the article by Ball and Sasane [2010], with yet another metric d_{H^\infty}|_{A_+}, namely the one induced by the metric d_{H^\infty} for the set of stabilizable plants over H^\infty given in teh article by Sasane in 2011. Both d_{A_+} and d_{H^\infty} coincide with the classical Vinnicombe metric defined for rational transfer functions, but we show here by means of an example that these two possible extensions of the classical nu-metric for plants over A_+ do not coincide on the set of stabilizable plants over A_+. We also prove that they nevertheless give rise to the same topology on stabilizable plants over A_+, which in turn coincides with the gap metric topology.

preprint2010arXiv

Generators for rings of compactly supported distributions

Let CC denote a closed convex cone CC in Rd\mathbb{R}^d with apex at 0. We denote by E′(C)\mathcal{E}'(C) the set of distributions having compact support which is contained in CC. Then E′(C)\mathcal{E}'(C) is a ring with the usual addition and with convolution. We give a necessary and sufficient analytic condition on f^1,...,f^n\hat{f}_1,..., \hat{f}_n for f1,...,fn∈E′(C)f_1,...,f_n \in \mathcal{E}'(C) to generate the ring E′(C)\mathcal{E}'(C). (Here ⋅^\hat{\cdot} denotes Fourier-Laplace transformation.) This result is an application of a general result on rings of analytic functions of several variables by Hörmander. En route we answer an open question posed by Yutaka Yamamoto.

preprint2010arXiv

The new νν-metric induces the classical gap topology

Let $\calA_+$ denote the set of Laplace transforms of complex Borel measures μμ on [0,+∞)[0,+\infty) such that μμ does not have a singular non-atomic part. In \cite{BalSas}, an extension of the classical νν-metric of Vinnicombe was given, which allowed one to address robust stabilization problems for unstable plants over $\calA_+$. In this article, we show that this new νν-metric gives a topology on unstable plants which coincides with the classical gap topology for unstable plants over $\calA_+$ with a single input and a single output.

preprint2009arXiv

Topological Stable Rank of H∞(Ω)H^\infty(Ω) for Circular Domains ΩΩ

Let ΩΩ be a circular domain, that is, an open disk with finitely many closed disjoint disks removed. Denote by H∞(Ω)H^\infty(Ω) the Banach algebra of all bounded holomorphic functions on ΩΩ, with pointwise operations and the supremum norm. We show that the topological stable rank of H∞(Ω)H^\infty(Ω) is equal to 2. The proof is based on Suarez's theorem that the topological stable rank of $H^\infty(\D)$ is equal to 2, where $\D$ is the unit disk. We also show that for domains symmetric to the real axis, the Bass and topological stable ranks of the real symmetric algebra HR∞(Ω)H^\infty_\R(Ω) are 2.

preprint2008arXiv

The Corona theorem and stable rank for the algebra $\mC +BH^\infty$

Let BB be a Blaschke product. We prove in several different ways the corona theorem for the algebra $H^\infty_B:=\mC+BH^\infty$. That is, we show the equivalence of the classical {\em corona condition} on data f1,...,fn∈HB∞f_1, ..., f_n \in H^\infty_B: \[ \forall z \in \mD, \sum_{k=1}^{n} |f_k(z)| \geq δ>0, \] and the {\em solvability of the Bezout equation} for g1,...,gn∈HB∞g_1, ..., g_n \in H^\infty_B: \[ \forall z\in \mD, \sum_{k=1}^n g_k (z)f_k(z)=1. \] Estimates on solutions to the Bezout equation are also obtained. We also show that the Bass stable rank of HB∞H^\infty_B is 1. Let $A(\mD)_B$ be the subalgebra of all elements from HB∞H^\infty_B having a continuous extension to the closed unit disk $\bar{\mD}$. Analogous results are obtained also for $A(\mD)_B$.

preprint2007arXiv

Estimates in corona theorems for some subalgebras of H∞H^\infty

We obtain estimates in the corona theorem for the algebra of analytic functions in the unit disc whose nth derivative is bounded, and its subalgebras defined by the boundary continuity of the nth derivative. The corona theorem for such algebras is trivial and known, but corona theorem with estimates is new and much harder to prove. As an auxiliary result of independent interest we get the continuity of the best estimate in such algebras (including the classical case of the algebra H∞H^\infty of bounded analytic functions). We also show that for a fixed nn the best estimate is the same for all algebras we consider.

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.