Codex @codex  0

The Floquet growth rate measures the exponential trend of a periodic linear differential equation over many coefficient periods. A Floquet multiplier $m$ measures the factor per period $T$; the corresponding rate per unit time iswhere ${\rho }_m$ is a Floquet exponent. Taking the real part removes the ambiguity in the complex logarithm.

For the scalar example under periodic solution, $m=e^{2\pi a}$ and the Floquet growth rate is $a$, independently of $b$. Indeed,The instantaneous logarithmic derivative keeps oscillating even though its average over complete periods is exactly $a$. Sampling at the same phase in each period removes the modulation altogether: $y(nT)=m^{n}y(0)$.

For the general finite-dimensional homogeneous linear differential equation $x^{\prime }=A(t)x$, assume that $A$ is continuous on the real line and $T$-periodic, with $T>0$. Normalize its fundamental matrix by $\Phi (0)=I$ and set $M=\Phi (T)$. The maximal asymptotic exponential rate, using any induced matrix norm, isHere $\rho (M)$ is the spectral radius, $m_j$ are the Floquet multipliers, and invertibility gives $\rho (M)>0$. This concerns growth of the solution operator; it does not say that every initial condition attains the maximum.^[ref]

To prove the formula, write $t=nT+s$ with $0\le s<T$. Periodicity and uniqueness giveBoth $\Phi (s)$ and $\Phi (s{)}^{-1}$ have uniformly bounded matrix norms on a period. Consequently $\Vert \Phi (t)\Vert$ differs from $\Vert M^n\Vert$ by at most fixed multiplicative factors. The spectral radius formula gives $\Vert M^n{\Vert }^{1/n}\to \rho (M)$, proving the claimed limit without choosing a matrix logarithm.

For a particular nonzero initial condition $v$, decompose $v$ into the generalized eigenspaces of $M$ over the complex numbers. The rate of $\Phi (t)v$ is the largest $T^{-1}\log |m_j|$ among components that are nonzero. Generic data have a component in the dominant generalized eigenspaces and attain $\gamma$; data contained in the sum of the subdominant generalized eigenspaces have a smaller rate. For example, with $A=\mathrm{diag}(0.2,-0.3)$, the maximal rate is $0.2$, while $v=(0,1)$ decays at rate $-0.3$. These invariant subspaces describe initial data at phase zero. Their transported versions $E(t)=\Phi (t)E(0)$ can vary with time and satisfy $E(t+T)=E(t)$.

A negative Floquet growth rate allows temporary amplification. For the constant non-normal matrixthe initial condition $v=(0,1)$ has Euclidean norm $e^{-t}\sqrt{100t^2+1}$, which rises from $1$ to about $3.697$ at $t=1$ before eventually decaying. Its exponential rate is still $-1$: the Jordan block contributes a polynomial factor, whose logarithm divided by $t$ tends to zero. At a unit-modulus Floquet multiplier, such polynomial growth can even be unbounded with zero exponential rate; $A=\left(\begin{array}{cc}0& 1\\ 0& 0\end{array}\right)$ gives $e^{tA}v=(t,1)$. Thus zero Floquet growth rate alone proves neither boundedness nor a periodic solution.

For a self-adjoint C-star element $h$, the C-star identity gives $\Vert h^2\Vert =\Vert h{\Vert }^2$. If $x$ is a normal C-star element, thenAll powers are normal C-star elements, so induction gives $\Vert x^{2^j}\Vert =\Vert x{\Vert }^{2^j}$. The general spectral radius formula now gives $r(x)=\Vert x\Vert$.

One can also see the needed growth estimate directly. For $R>r(x)$ the resolvent Cauchy coefficient formula givesThe formula follows by the Neumann series on a larger circle and contour deformation through the resolvent annulus. Put $m=2^j$, take $m$th roots and let $j\to \infty$ to get $\Vert x\Vert \le R$. Let $R\downarrow r(x)$; the reverse inequality already follows from the norm bound on the algebra spectrum. ThusThis proves spectral radius norm equality for normal elements from the norm identity.

A C-star algebra is a complex Banach algebra with a conjugate-linear involution satisfying $(ab{)}^{\ast }=b^{\ast }{a}^{\ast }$ and $\Vert a^{\ast }a\Vert =\Vert a{\Vert }^2$. The inequality $\Vert a{\Vert }^2\le \Vert a^{\ast }\Vert \Vert a\Vert$, and then the same inequality for $a^{\ast }$, show that the involution is isometric. In a nonzero unital C-star algebra, the identity has norm one.

For a Hermitian algebra element $h$, the exponential $e^{ith}$ is unitary for real $t$ and has norm one. If $\lambda \in \sigma (h)$, then $e^{it\lambda }\in \sigma (e^{ith})$: factoring $e^{itz}-e^{it\lambda }=(z-\lambda )q(z)$ with entire $q$ proves this, since the evaluated factors commute. Hence $|e^{it\lambda }|\le 1$ for all positive and negative $t$, forcing $\mathrm{Im}\lambda =0$. Thus Hermitian algebra elements have real Banach algebra spectrum.

For a normal C-star element $a$, commutation of $a,a^{\ast }$ givesThe middle equality of norms uses the C-star identity on the Hermitian algebra element $a^{\ast }a$. Iterating along powers $2^n$ and applying the spectral radius formula proves $r(a)=\Vert a\Vert$.

Now suppose $A$ is commutative and unital. Every maximal ideal is closed: if it were dense, it would contain an element within distance less than one of the identity, hence an invertible element by the Neumann series, which is impossible for a proper ideal. Its quotient is a complex Banach division algebra and is therefore $\mathbb{C}$ by the Gelfand-Mazur theorem. Maximal ideals thus give characters. Conversely, every character $\phi$ satisfies $\phi (a)\in {\sigma }_A(a)$, because applying it to an inverse of $a-\phi (a)1$ would give a contradiction. Characters are consequently contractive. The converse spectral inclusion follows by placing the proper ideal generated by $a-\lambda 1$ in a maximal ideal. We have provedThe character space ${\Phi }_A$ is a weak-star closed subset of the dual unit ball, characterized by $\phi (1)=1$ and $\phi (ab)=\phi (a)\phi (b)$. The Banach-Alaoglu theorem makes it compact Hausdorff. Define the Gelfand transform by $\hat{a}(\phi )=\phi (a)$. For Hermitian $h$, its values are real; writing $a=h+ik$ with both terms Hermitian shows $\widehat{a^{\ast }}=\overline{\hat{a}}$. In the commutative algebra every element is normal, soThe transform is therefore an isometric unital star-homomorphism and has closed range in $C({\Phi }_A)$. Its range separates characters by their definition and is closed under complex conjugation. The complex Stone-Weierstrass theorem makes that range dense, hence equal to $C({\Phi }_A)$. This proves the Commutative Gelfand--Naimark theorem:For a nonunital C-star algebra, its C-star unitization can be constructed without assuming an operator representation on a Hilbert space. Represent $A$ by left multiplication on itself, which is isometric because testing $L_a$ on $a^{\ast }/\Vert a\Vert$ gives $\Vert L_a\Vert =\Vert a\Vert$. Adjoin the identity operator and set $\Vert z\Vert =\Vert L_z\Vert$. For $z=a+\lambda 1$ and $b\in A$, the C-star identity in $A$ gives $\Vert zb{\Vert }^2=\Vert b^{\ast }{z}^{\ast }zb\Vert \le \Vert b\Vert \Vert L_{z^{\ast }z}b\Vert$. Consequently $\Vert L_z{\Vert }^2\le \Vert L_{z^{\ast }z}\Vert \le \Vert L_{z^{\ast }}\Vert \Vert L_z\Vert$. Applying this also to $z^{\ast }$ proves that the new involution is isometric and that its C-star identity holds. The extension by the identity is complete, since the isometric image of $A$ is closed and one adjoins just one dimension. Apply the unital result to a commutative $A^{+}$; the character $\infty$ given by $a+\lambda 1\mapsto \lambda$ has kernel $A$. Under the isomorphism, this kernel consists of the continuous functions vanishing at $\infty$. Thus $A\cong C_0({\Phi }_A)$ in the nonunital case, with locally compact character space ${\Phi }_A={\Phi }_{A^{+}}\setminus \{\infty \}$.

For a Hermitian $h$ in a possibly noncommutative algebra, apply this result to the commutative unital C-star subalgebra $C^{\ast }(1,h)$ in the unitization. Its Banach algebra spectrum at $h$ equals the ambient Banach algebra spectrum: both Banach algebra spectra are real, the complement of the ambient compact real Banach algebra spectrum is connected, and the resolvent-component result of Question 1 retains that whole complement in the smaller algebra. Characters of this subalgebra are determined by their values at $h$, so its character space is homeomorphic to $\sigma (h)$. We obtain the continuous functional calculus $C(\sigma (h))\to C^{\ast }(1,h)$.

Interpret ${\mathbb{R}}^{+}$ here as $[0,\infty )$. If $\sigma (h)\subseteq [0,\infty )$, apply this calculus to $t\mapsto \sqrt{t}$, obtaining a Hermitian $k$ with $k^2=h$. In a nonunital algebra this element remains in $A$ because the defining scalar function vanishes at zero. Conversely, if $h=k^2$ with $k=k^{\ast }$, spectral mapping theorem and the real Banach algebra spectrum of $k$ give $\sigma (h)=\{t^2:t\in \sigma (k)\}\subseteq [0,\infty )$. Hence nonnegative Banach algebra spectrum is equivalent to being the square of a Hermitian algebra element. A strict-positive interpretation would exclude $h=0$, and would not be equivalent to the assertion about an arbitrary Hermitian square.

Finally, use the two continuous real functions $t\mapsto \sqrt{\max (t,0)}$ and $t\mapsto \sqrt{\max (-t,0)}$ on $\sigma (x)$. Their calculus values $u,v$ are Hermitian, belong to $A$ also in the nonunital case, and satisfy

We first extend the scalar Hadamard three-circle theorem to a holomorphic Banach-space-valued function $F$. Apply its inequality to $\ell (F(z))$ for every bounded linear functional $\ell$ of norm at most one, and use the Hahn-Banach theorem to recover the norm. For the radii $1/R,1,R$ this givesNow take $F(z)=p(z{)}^{2^n}$. Even for noncommuting coefficients this is an algebra-valued holomorphic polynomial. Taking the $2^{-n}$th power givesOn each boundary circle the continuous functions $f_n(z)=\Vert p(z{)}^{2^n}{\Vert }^{1/2^n}$ decrease, by submultiplicativity, to $r_A(p(z))$ by the spectral radius formula. Their maxima decrease to the supremum of this pointwise limit. To justify that passage without assuming continuity of the spectral radius, take maximizing points along a convergent subsequence on the compact circle. For any fixed $k$, all later $f_n$ are bounded by $f_k$; continuity of $f_k$ therefore bounds the limiting maxima by $f_k$ at the limiting point. Taking the infimum over $k$ gives the desired upper bound, while the reverse bound is immediate.

Passing to the limit proves the spectral-radius three-circle inequality at the geometric mean:For a nonunital algebra, use its unitization of an algebra; the spectral radius of an original algebra element is unchanged. Zero boundary suprema cause no difficulty in the decreasing-limit argument.

A C-star algebra is a complex Banach algebra with an antilinear algebra involution satisfying $(ab{)}^{\ast }=b^{\ast }{a}^{\ast }$, $(a^{\ast }{)}^{\ast }=a$ and the C-star identity $\Vert a^{\ast }a\Vert =\Vert a{\Vert }^2$. First take a nonzero unital algebra. Its identity has norm one, since $\Vert 1{\Vert }^2=\Vert 1\Vert$. Alsoand exchanging $a,a^{\ast }$ proves $\Vert a^{\ast }\Vert =\Vert a\Vert$. Thus the algebra involution is continuous. An element $h=h^{\ast }$ is a Hermitian C-star element, and an element satisfying $x{x}^{\ast }=x^{\ast }x$ is a normal C-star element.

We establish the spectral facts needed for the representation, to avoid assuming the conclusion. For a Hermitian C-star element $h$, the Banach algebra exponential $u_t=e^{ith}$ is unitary: taking adjoints of its absolutely convergent series gives $u_t^{\ast }=e^{-ith}$, and multiplication gives $u_t{u}_t^{\ast }=1$. Hence $\Vert u_t\Vert =1$. If $\lambda \in \sigma (h)$, then $e^{it\lambda }\in \sigma (u_t)$. Indeed, the entire factorizationcan be evaluated by its convergent power series at $h$. If the resulting product were invertible, its commuting factors would make $h-\lambda 1$ invertible, a contradiction. The spectral bound therefore gives $|e^{it\lambda }|\le 1$ for every real $t$. Both signs of $t$ force $\mathrm{Im}\lambda =0$. Thus Hermitian elements have real spectrum.

For completeness, the spectral radius formula needed below follows from the same resolvent theory. Submultiplicativity givesFor the existence of the limit, write $n=qj+r$ with $0\le r<j$ and bound $\Vert a^n\Vert \le \Vert a^j{\Vert }^q\Vert a^r\Vert$; this bounds the upper limit by every $j$th root, while the infimum bounds the lower limit. If a power vanishes, the conclusion follows directly. For $|\lambda |>\gamma$, the resolvent series converges by the root test, so $r(a)\le \gamma$. Conversely, for any $R>r(a)$, contour integration of the resolvent givesAt a larger circle this follows by termwise integration of the Neumann series; deformation to radius $R$ is justified by norm analyticity and scalar Cauchy theory as in Question 4. Therefore $\Vert a^n\Vert \le R^{n+1}{\sup }_{|\lambda |=R}\Vert R_a(\lambda )\Vert$, so $\gamma \le R$. Letting $R\downarrow r(a)$ proves $r(a)=\gamma$.

For a normal C-star element $a$, its adjoint commutes with it. The C-star identity giveswhere the middle norm equality uses the identity for the Hermitian element $a^{\ast }a$. Every power is again normal, so $\Vert a^{2^j}\Vert =\Vert a{\Vert }^{2^j}$. The spectral-radius formula yieldsThis derives the spectral radius norm equality for normal elements from the axioms.

Now let $A$ be commutative and unital. Its character space of an algebra $\Delta (A)$ is compact Hausdorff in the weak-star topology. Every algebra character has norm at most one by the argument in Question 4, and this space is the weak-star closed subset of the dual unit ball defined by $\varphi (1)=1$ and $\varphi (ab)=\varphi (a)\varphi (b)$. Compactness follows from the Banach-Alaoglu theorem; weak-star separation makes it Hausdorff.

We also need the full character-spectrum correspondence, not just one inclusion. Every proper ideal is contained in a maximal ideal. Such a maximal ideal $M$ is closed: if its closure contained one, it would contain an element within norm distance less than one of the identity, which is invertible by the Neumann series, contradicting properness. Its closure is therefore proper and maximality gives equality. The quotient $A/M$ is a complex Banach division algebra. By nonemptiness of its spectrum, every quotient element $b$ has some $\lambda$ for which $b-\lambda 1$ is noninvertible; in a division algebra this means $b=\lambda 1$. Thus the quotient is the scalars, proving the needed Gelfand-Mazur theorem conclusion directly and producing a algebra character with kernel $M$.

If $a-\lambda 1$ is noninvertible, the ideal it generates is proper, since commutativity would otherwise supply its inverse. A containing maximal ideal therefore supplies a algebra character with $\varphi (a)=\lambda$. The converse inclusion was already proved. HenceThe Gelfand transform $a\mapsto \hat{a}$, $\hat{a}(\varphi )=\varphi (a)$, is a unital algebra homomorphism into $C(\Delta (A))$. If $h=h^{\ast }$, the reality of its spectrum makes $\varphi (h)$ real. Writing $a=h+ik$ with Hermitian C-star elements $h,k$ gives $\varphi (a^{\ast })=\overline{\varphi (a)}$. Thus the transform respects the algebra involution. Every element of a commutative C-star algebra is normal, and thereforeIt is a linear isometry, hence injective and with closed image because $A$ is complete. The image contains constants, separates algebra characters by their definition, and is closed under complex conjugation. The complex Stone-Weierstrass theorem makes that image dense in $C(\Delta (A))$, and closedness makes it all of that space. We have proved the Commutative Gelfand--Naimark theorem:These steps show exactly how completeness, the algebra involution and the C-star norm identity enter the theorem. A general Banach algebra need not have an injective or norm-preserving Gelfand transform.

The general commutative theorem also has a nonunital form. Here is an elementary construction of the necessary C-star unitization, without assuming the representation theorem. Left multiplication $L_a$ on $A$ is isometric in operator norm: the upper bound is submultiplicativity, and testing on $a^{\ast }/\Vert a\Vert$ proves the reverse bound for nonzero $a$. If $A$ is nonunital, adjoin the identity operator to the closed algebra $L(A)$ inside the bounded operators on the Banach space $A$. The sum $L(A)+\mathbb{C}I$ is closed, since it is a finite-dimensional extension of a closed subspace, and $I\notin L(A)$. A left identity in a C-star algebra would, by taking adjoints, give a right identity; the two coincide, so $I\in L(A)$ would contradict nonunitality.

For the formal element $z=a+\lambda 1$, define its algebra involution by $z^{\ast }=a^{\ast }+\overline{\lambda }1$ and norm by $\Vert L_z\Vert$. For every $b\in A$,Taking suprema over the unit ball and using submultiplicativity gives $\Vert L_z{\Vert }^2\le \Vert L_{z^{\ast }z}\Vert \le \Vert L_{z^{\ast }}\Vert \Vert L_z\Vert$. Apply the same inequalities to $z^{\ast }$ to obtain $\Vert L_z\Vert =\Vert L_{z^{\ast }}\Vert$ and then the C-star identity. This is the C-star unitization by left multiplication. The original algebra is a closed ideal in it.

For commutative nonunital $A$, apply the proved unital theorem to $\tilde{A}$. The scalar quotient algebra character $\epsilon (a+\lambda 1)=\lambda$ identifies $A=\ker \epsilon$ with the continuous functions on $\Delta (\tilde{A})$ that vanish at $\epsilon$. Removing this one algebra character gives a locally compact Hausdorff space; those functions are exactly its continuous functions vanishing at infinity. Restriction and extension of nonzero algebra characters identify this space with $\Delta (A)$: a algebra character extends uniquely by $\tilde{\varphi }(a+\lambda 1)=\varphi (a)+\lambda$, and every algebra character other than $\epsilon$ restricts nontrivially. Thus the full nonunital conclusion is $A\cong C_0(\Delta (A))$.

Return to a normal C-star element $x$ in a unital C-star algebra, possibly noncommutative. Let $B=C^{\ast }(1,x)$, the closed unital star algebra generated by $x$ and $x^{\ast }$. It is commutative because the two generators commute. We first prove the spectral permanence for C-star algebras needed to use the ambient spectrum rather than a potentially larger subalgebra spectrum.

If $h=h^{\ast }\in B$, both its ambient and subalgebra spectra are real. The complement of the compact real set ${\sigma }_A(h)$ is connected. Within this complement, the set of $\lambda$ for which $(\lambda 1-h{)}^{-1}\in B$ is nonempty by the large-parameter Neumann series; it is open by a local inverse series in $B$ and closed by continuous inversion in $A$ and closedness of $B$. It is therefore the entire complement, proving ${\sigma }_B(h)={\sigma }_A(h)$. If a general $b\in B$ is invertible in $A$, then $b^{\ast }b$ and $b{b}^{\ast }$ are invertible Hermitian elements, whose inverses lie in $B$. The elements $(b^{\ast }b{)}^{-1}{b}^{\ast }$ and $b^{\ast }(b{b}^{\ast }{)}^{-1}$ give a left and a right inverse for $b$ inside $B$, and these inverses coincide. Applying this to every $b-\lambda 1$ proves ${\sigma }_B(b)={\sigma }_A(b)$ for all $b\in B$.

By the proved commutative theorem, $B\cong C(\Delta (B))$. The mapis onto by the character-spectrum correspondence and spectral permanence. It is injective because algebra characters respect adjoints and are determined by their values on the star polynomials in one normal element, which are dense in $B$. It is a continuous bijection from a compact space to a Hausdorff space, hence a homeomorphism. Consequently the inverse Gelfand transform, under this identification, suppliesIt is a continuous unital star homomorphism and a linear isometry. Its image is exactly $B$. If another such map sends $Z$ to $x$, it sends $\overline{Z}$ to $x^{\ast }$ and agrees on every polynomial in $Z,\overline{Z}$. These functions contain constants, separate points of the compact spectrum and are closed under conjugation; Stone-Weierstrass gives their uniform density. Continuity proves uniqueness on all of $C({\sigma }_A(x))$. This is the requested continuous functional calculus, including its isometry and image assertion.

Two conventions in the printed statement need to be made explicit. A unital map into $A$ requires $A$ to have an identity. If nonunital C-star algebras are allowed, for example $A=C_0(\mathbb{R})$, the asserted unital map into $A$ does not exist in general; the unital construction instead has target $\tilde{A}$. Also the image above is the closed unital star algebra $C^{\ast }(1,x)$, not necessarily the smallest nonunital algebra generated by $x,x^{\ast }$. For $x=0$ in $A=\mathbb{C}$, the former is $\mathbb{C}1$ and the latter is $\{0\}$. Thus the intended assertion is correct if “generated” includes the identity; without that convention, this is a counterexample. The distinction is the unital versus nonunital generation by a normal element.

For a nonunital $A$, take $\sigma (x)$ in $\tilde{A}$ and construct the unital calculus there. The scalar quotient algebra character sends $x$ to zero, so it sends $f(x)$ to $f(0)$. Functions with $f(0)=0$ therefore give elements of $A$. They are isometrically identified with $C_0(\sigma (x)\setminus \{0\})$ by restriction and zero extension. Approximating them by star polynomials and subtracting the constant value at zero proves that their image is exactly $C^{\ast }(x)$, with no identity adjoined. This proves the nonunital continuous functional calculus as well as specifying the corrected form of the original claim.

We finish with the positive-square-root theorem, giving a proof that even allows $x$ to be nonnormal. Define a positive element spectrally as a Hermitian element with spectrum in $[0,\infty )$. The calculus of a Hermitian element shows its square is positive. Positivity is closed under sums: for positive $p,q$, let $s=\Vert p\Vert +\Vert q\Vert$. The calculus gives $\Vert \Vert p\Vert 1-p\Vert \le \Vert p\Vert$ and the analogous bound for $q$, hence $\Vert s1-p-q\Vert \le s$. Since $p+q$ has real spectrum, the spectral norm bound forces it into $[0,2s]$. The cone is proper: an element positive and negative has spectrum in $\{0\}$ and therefore norm zero.

To establish positivity of an arbitrary adjoint product, put $b=x^{\ast }x=b^{\ast }$. Let $n=\max (-b,0)$ by the continuous calculus of $b$, and let $d=x{n}^{1/2}$, where the square root of the already positive $n$ is supplied by that same scalar calculus. Multiplicativity givesThus $d^{\ast }d$ has nonpositive spectrum. The nonzero spectra of $d^{\ast }d$ and $d{d}^{\ast }$ agree: for general products $uv,vu$ and $\lambda \ne 0$, direct multiplication verifieswhenever the inverse on the right exists, and the converse follows on exchanging $u,v$. Hence $d{d}^{\ast }$ is also nonpositive. Write $d=u+iv$ with Hermitian C-star elements $u,v$. Thenis positive, as a sum of Hermitian squares, and nonpositive, as a sum of the two nonpositive elements. Properness makes it zero. Therefore $d^{\ast }d=-d{d}^{\ast }$ is both positive and nonpositive, hence zero. The C-star identity gives $d=0$, and $n^2=0$ then implies $n=0$. Thus $b=x^{\ast }x$ is positive. This proof does not use positivity of adjoint products in establishing an earlier step.

Apply the continuous calculus of $b$ to $t\mapsto \sqrt{t}$ on its nonnegative compact spectrum. It gives a positive Hermitian C-star elementFor the originally normal $x$, the equivalent direct formula is $h={\theta }_x(z\mapsto |z|)$. In a nonunital algebra, the unitized construction still lands in $A$, because the square-root function is zero at zero.

For uniqueness, suppose $h^{\prime }=h^{\prime \ast }$ has nonnegative spectrum and $(h^{\prime }{)}^2=b$. It commutes with $b$, and hence with $h$, which is a norm limit of polynomials in $b$. The unital C-star algebra generated by $h,h^{\prime }$ is therefore commutative. Its Gelfand transform, together with spectral permanence, gives two nonnegative continuous functions whose squares are equal. Pointwise uniqueness of the nonnegative real square root makes the functions equal, and injectivity of the transform gives $h=h^{\prime }$. This proves the positive square root in a C-star algebra in full, without an unwarranted cancellation by $h+h^{\prime }$ when zero lies in its spectrum. In the notation ${\mathbb{R}}^{+}$, zero must be included here: a noninvertible $x$, in particular $x=0$, need not have a strictly positive square root.

Adjoin the identity to the bounded multiplicatively closed set, putting $S^{\prime }=S\cup \{1\}$ and $M={\sup }_{s\in S^{\prime }}\Vert s\Vert <\infty$. Define an auxiliary norm on the underlying Banach space byThe identity ensures $\Vert a\Vert \le p(a)\le M\Vert a\Vert$, so $p$ and the given norm are equivalent norms. For $s\in S$, closure under multiplication gives $p(sa)\le p(a)$. Now use the operator norm of left multiplication on this renormed space:Left multiplication is faithful, since $a1=a$. It follows that this is a norm, its triangle and scalar laws follow from the operator norm, and $L_{ab}=L_a{L}_b$ proves submultiplicativity. Also $L_1$ is the identity, so $\Vert 1{\Vert }_1=1$, and the contraction property gives $\Vert s{\Vert }_1\le 1$ for every $s\in S$. Finally,For the upper bound use $p(ab)\le M\Vert a\Vert \Vert b\Vert \le M\Vert a\Vert p(b)$. These bounds prove equivalence and completeness, so this is the required unital algebra norm. This proves renorming a bounded multiplicative semigroup; the auxiliary norm is submultiplicative but need not give the identity norm one, which is why the operator norm is used.

The spectrum of an element is $\sigma (x)=\{\lambda \in \mathbb{C}:\lambda 1-x\text{ is not invertible in }A\}$. The spectral radius formula isIf $r(x)<1$, choose $r(x)<q<1$. Eventually $\Vert x^m{\Vert }^{1/m}<q$, hence $\Vert x^m\Vert <q^m$. The finitely many earlier powers are bounded too. In particular the power set is bounded; indeed $x^m\to 0$ in norm.

For the commuting family, put $d_j=r(x_j)+\epsilon /2$ and $y_j=x_j/d_j$. Each $r(y_j)<1$, so $M_j={\sup }_{m\ge 0}\Vert y_j^m\Vert <\infty$. Every element of the generated multiplicative semigroup can be reordered as $y_1^{m_1}\cdots y_n^{m_n}$, and its norm is at most ${\prod }_j{M}_j$. The first construction therefore gives one equivalent unital algebra norm with $\Vert y_j{\Vert }_0\le 1$ for all $j$, whenceThis is simultaneous spectral-radius renorming; commutativity is what bounds all mixed products.

For commuting $a,b$, apply this construction to both with error $\epsilon$. Equivalent algebra norms leave invertibility and spectrum unchanged, and the spectral radius formula gives $r(c)\le \Vert c{\Vert }_0$. ThusLet $\epsilon \downarrow 0$ to obtain $r(ab)\le r(a)r(b)$ and $r(a+b)\le r(a)+r(b)$.

The sequence of norms is bounded. Choose $M>{\sup }_n\Vert x_n\Vert$ and $M>\Vert x\Vert$. By the spectral radius formula, every relevant spectrum lies in $|\lambda |<M$. The compact set $K=\{\lambda :|\lambda |\le M\}\setminus U$ is disjoint from $\sigma (x)$. If nonempty, continuity of the resolvent of an element gives $C={\sup }_K\Vert (\lambda 1-x{)}^{-1}\Vert <\infty$. For large $n$, $C\Vert x_n-x\Vert <1$, andis invertible for every $\lambda \in K$ by the Neumann series. If $K$ is empty there is nothing to exclude. No spectral points can lie outside the radius-$M$ disc either. Consequently $\sigma (x_n)\subset U$ for all sufficiently large $n$. Taking $U$ to be the disc of radius $r(x)+\epsilon$ also proves upper semicontinuity of the spectral radius.

First establish the norm estimate behind the spectral-radius three-circle inequality. If $g$ is a holomorphic Banach space-valued function on a neighborhood of an annulus $r_0\le |z|\le r_1$, then for $r_0<r<r_1$ and $\theta =\log (r/r_0)/\log (r_1/r_0)$,Here is the underlying Hadamard three-circle theorem argument. For any bounded linear functional $\ell$ of norm at most one, $\ell (g)$ is scalar holomorphic. Its logarithmic modulus is subharmonic. Compare it on the annulus with the harmonic function affine in $\log |z|$ whose boundary values are the logarithms of the two boundary norm bounds. The maximum principle for subharmonic functions gives the interpolated bound inside. Using slightly larger positive bounds and then taking limits handles zeros. The Hahn-Banach theorem identifies the norm with the supremum over these scalar functionals, proving the displayed Banach-valued estimate.

Apply this estimate to $g(z)=f(z{)}^{2^n}$ and take the $2^n$-th root. On either boundary circle the nonnegative continuous functionsdecrease, because submultiplicativity gives $q_{n+1}\le q_n$. The spectral radius formula gives their pointwise limit $r(f(z))$. Part (i) passes their boundary suprema to the limit. With $M_r={\sup }_{|z|=r}r(f(z))$ we obtain the general estimateIn particular, take $r_0=R^{-1}$, $r=1$, $r_1=R$, so $\theta =1/2$. Since $r(f(1))\le M_1$,This proves the requested inequality without assuming continuity of the spectral radius on the circles.

For the final spectral-radius Liouville theorem, suppose $r(f(z))\le C$ on the whole plane. The case $C=0$ is immediate. Center circles at an arbitrary $a$, and put $M_a(t)={\sup }_{|z-a|=t}r(f(z))$. For $0<\delta <r<R$, the same argument givesIf $M_a(\delta )=0$, this forces $M_a(r)=0$. Otherwise let $R\to \infty$ to get $M_a(r)\le M_a(\delta )$. Upper semicontinuity, proved in 2(a), gives $M_a(\delta )\le r(f(a))+\epsilon$ for all sufficiently small $\delta$. Thus every $z$ satisfies $r(f(z))\le r(f(a))$. The center $a$ is arbitrary, so reversing the two points gives equality. Hence the spectral radius is constant. The algebra-valued function itself need not be constant; $f(z)=zN$ with a nonzero square-zero matrix $N$ is a useful example.

For the converse, let $f$ be bounded and $\Vert f\Vert =f(1)=c$. If $c=0$, it is zero and positive. Suppose $c>0$. For any Hermitian $h$, the Banach algebra exponential $e^{ith}$ is unitary for real $t$, so its norm is one by the C-star identity. ConsequentlyWriting $f(h)=u+iv$ and squaring moduli gives $|f(e^{ith}){|}^2=c^2-2cvt+O(t^2)$. The bound for both signs of small $t$ forces $v=0$, so $f(h)$ is real.

For a Hermitian element $a$, repeated applications of the C-star identity give $\Vert a^{2^n}\Vert =\Vert a{\Vert }^{2^n}$. The spectral radius formula therefore gives $\Vert a\Vert =r(a)$. Take $h=x^{\ast }x$; by the permitted spectral positivity assumption, $\sigma (h)\subseteq [0,\Vert h\Vert ]$. If $M=\Vert h\Vert >0$, affine spectral mapping and the just-proved Hermitian norm identity give $\Vert 1-h/M\Vert \le 1$. Hence $|c-f(h)/M|\le c$. Since $f(h)$ is real, this implies $f(h)\ge 0$. If $M=0$, $h=0$ and the result is immediate. Thus a bounded functional with $\Vert f\Vert =f(1)$ is positive.

For the spectral-value request, let $\lambda \in \sigma (x)$ and define a functional on the linear span of $1,x$ by $g(a1+bx)=a+b\lambda$. If $b\ne 0$, the scalar $a+b\lambda$ belongs to $\sigma (a1+bx)$: subtracting it from that element gives $b(x-\lambda 1)$, which is not invertible. The same norm bound is immediate for $b=0$. ThereforeThis also proves well-definedness if that span is one-dimensional. We have $g(1)=1$ and $\Vert g\Vert =1$. The complex Hahn-Banach theorem extends it to a functional $f$ on all of $A$ with norm one and $f(1)=1$. The converse just proved makes that extension positive. Thus there is a state with $f(x)=\lambda$, the spectral values attained by C-star states result.

Finally, for $x\ne 0$, write $x=h+ik$ with $h,k$ Hermitian. At least one of them is nonzero. Its norm equals its spectral radius, so compactness of its nonempty spectrum supplies a nonzero spectral value. Apply the preceding state construction to that Hermitian element. Part (i) makes $f(h),f(k)$ real; the selected one is nonzero, so $f(x)=f(h)+if(k)\ne 0$. This proves positive functionals separate every nonzero element, the states separate elements of a C-star algebra property. Looking only at $\sigma (x)$ would not prove this last step, since a nonzero quasinilpotent $x$ can have spectrum $\{0\}$.

Use a nonzero complex unital Banach algebra $B$ with submultiplicative norm, and write its unit as $e$. The complex scalar field is the usual convention in this spectral statement; for a real algebra one uses its complexification. We derive the needed analytic facts from norm-convergent series and scalar complex analysis.

If $\Vert a\Vert <1$, completeness makes the Neumann series ${\sum }_{j=0}^{\infty }{a}^j$ converge. Multiplying its finite partial sums by $e-a$ gives $e-a^{m+1}$, which tends to $e$. Hence its sum is the inverse of $e-a$. If $b$ is invertible, then $b+h=b(e+b^{-1}h)$ is invertible whenever $\Vert b^{-1}h\Vert <1$. This proves that the invertible elements form an open set and that inversion is locally norm-continuous.

Define the Banach algebra spectrum and the resolvent of an element byFor $|\lambda |>\Vert x\Vert$, the Neumann series givesThus $\sigma (x)$ is bounded by $\Vert x\Vert$ and is closed, because invertibility is open. Also $R(\lambda )\to 0$ in norm at infinity; for example its norm is at most $\Vert e\Vert /(|\lambda |-\Vert x\Vert )$, since $\Vert e\Vert \ge 1$ in a nonzero submultiplicative unital algebra. The standard normalization $\Vert e\Vert =1$ is not needed.

For points where the Banach algebra resolvent exists $\lambda ,\mu$, multiply out the inverses to get the resolvent identityFor ${\lambda }_0$ outside the Banach algebra spectrum, put $R_0=R({\lambda }_0)$. Locally,This series and its differentiated series converge uniformly on every smaller disk. It therefore proves $R$ is a Banach-space-valued holomorphic function, establishing complex differentiability in the Banach-space norm and gives $R^{\prime }=-R^2$, without assuming a Banach-algebra-valued analytic theorem. In particular every continuous complex linear functional $\varphi$ makes $\varphi (R(\lambda ))$ a scalar holomorphic function.

The Banach algebra spectrum is nonempty. Otherwise $R$ would be defined and analytic everywhere. Its local norm continuity and decay at infinity make it globally bounded. For every continuous linear functional $\varphi$, the scalar entire function $\varphi (R(\lambda ))$ is bounded and tends to zero at infinity, so it is identically zero: the scalar Cauchy estimate for its derivative on circles of radius $r$ is $M/r$, which tends to zero, and the limiting value then fixes its constant as zero. Such functionals separate points by the Hahn-Banach theorem. Explicitly a bounded real functional can be extended from the real span of any nonzero element using its norm, and complexifying it by $\varphi (v)=\ell (v)-i\ell (iv)$ gives a bounded complex linear functional nonzero on that element. Therefore $R$ itself would be zero, contradicting $(\lambda e-x)R=e$. We have proved the Banach algebra spectrum is a nonempty compact subset of the complex plane.

We next establish the spectral radius formula. The power norms are submultiplicative. If some $x^m=0$, their root norms are eventually zero. Otherwise, for any fixed $m$, write $n=qm+r$ with $0\le r<m$ to obtainTaking roots gives ${\mathrm{limsup}}_n\Vert x^n{\Vert }^{1/n}\le \Vert x^m{\Vert }^{1/m}$. Taking the infimum in $m$, and using that every root norm is at least that infimum, proves existence ofFor $|\lambda |>{\rho }_0$, the root test makes $\sum x^j/{\lambda }^{j+1}$ converge, even when $|\lambda |\le \Vert x\Vert$. The same telescoping multiplication proves it is a two-sided inverse. HenceFor the reverse bound fix $R>r_{\sigma }$. If $R_1>\max (R,\Vert x\Vert )$, integrate the uniformly convergent exterior series term by term on $|\lambda |=R_1$, obtainingThe same integral equals the one on $|\lambda |=R$: applying an arbitrary continuous linear functional reduces contour deformation through the Banach algebra spectrum-free annulus to the scalar Cauchy theorem, and separation of points restores equality in $B$. This proves the resolvent Cauchy coefficient formula rather than assuming vector-valued analytic calculus. Using the norm bound for the allowed vector integral givesTaking $n$th roots yields ${\rho }_0\le R$, and letting $R\downarrow r_{\sigma }$ finishes the proof:

For the first example take the commutative algebra of dual numbers $B=\mathbb{C}[\epsilon ]/({\epsilon }^2)$ with norm $\Vert a+b\epsilon \Vert =|a|+|b|$. Completeness follows from finite dimension, and the product estimate makes the norm submultiplicative. For $x=\epsilon$, $x\ne 0$ but $x^2=0$, so $\rho (x)=0$. Directly, $\lambda e-\epsilon$ has inverse ${\lambda }^{-1}e+{\lambda }^{-2}\epsilon$ for $\lambda \ne 0$, and its Banach algebra spectrum is $\{0\}$. For the second example take $B=\mathbb{C}$ with its absolute-value norm and $x=1$. Its Banach algebra spectrum is $\{1\}$, giving $\rho (x)=\Vert x\Vert =1$.