Matrix-valued analytic function?

  • Context: Graduate 
  • Thread starter Thread starter AxiomOfChoice
  • Start date Start date
  • Tags Tags
    Function
Click For Summary
SUMMARY

The matrix-valued function T(β) = [1, β; β, -1] is identified as an entire matrix-valued analytic function of β, with singularities occurring at β = ±i. According to Reed-Simon, Volume 4, the eigenvalues λ₊(β) = √(β² + 1) and λ₋(β) = -√(β² + 1) exhibit singular behavior at these points. The confusion arises from the misconception that taking the square root of zero is problematic; however, the issue lies in the derivative of the square root function at zero, which disrupts the analyticity at β = ±i.

PREREQUISITES
  • Understanding of matrix-valued functions
  • Familiarity with analytic functions and their properties
  • Knowledge of eigenvalues and eigenvectors
  • Basic concepts of complex analysis, particularly singularities
NEXT STEPS
  • Study the properties of matrix-valued analytic functions
  • Learn about singularities in complex functions
  • Explore the implications of the derivative of the square root function
  • Investigate the concepts of weak versus strong analyticity in vector-valued functions
USEFUL FOR

Mathematicians, particularly those specializing in complex analysis, linear algebra, and functional analysis, will benefit from this discussion, as well as students seeking to deepen their understanding of matrix-valued functions and their analytic properties.

AxiomOfChoice
Messages
531
Reaction score
1
Consider the matrix-valued function [itex]T(\beta): \mathbb C \to \mathscr L(\mathbb C^2)[/itex], the bounded linear operators on [itex]\mathbb C^2[/itex], given by

[tex] T(\beta) = \begin{bmatrix} 1 & \beta \\ \beta & -1 \end{bmatrix}.[/tex]

According to Reed-Simon, Volume 4, this is a "matrix-valued analytic function" with singularities at [itex]\beta = \pm i[/itex]. I'm confused as to how...
  1. ...we are supposed to show that [itex]T(\beta)[/itex] is analytic. The claim made in the book is that it is easier (in general) to show that a vector-valued analytic function is weakly analytic than strongly analytic, but I don't see how that is the case here.
  2. ...we are supposed to see that this function has singularities at [itex]\pm i[/itex].
Can anyone help with either of the above? Thanks!
 
Physics news on Phys.org
Update

It seems [itex]T(\beta)[/itex] is actually an entire matrix-valued analytic function of [itex]\beta[/itex]; it is the eigenvalues [itex]\lambda_\pm (\beta) = \pm \sqrt{\beta^2 + 1}[/itex] that have singularities at [itex]\pm i[/itex]. My question still stands, though...why are [itex]\pm i[/itex] singularities of this function? What's wrong with taking the square root of zero, which is what one winds up doing at those values?
 
AxiomOfChoice said:
What's wrong with taking the square root of zero, which is what one winds up doing at those values?

Nothing. But there is a problem with evaluating the derivative of the square root function at zero, and that's what causes [itex]\sqrt{\beta^2 + 1}[/itex] to fail to be analytic at [itex]\beta = \pm i[/itex].
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 0 ·
Replies
0
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 24 ·
Replies
24
Views
5K
  • · Replies 19 ·
Replies
19
Views
2K
  • · Replies 2 ·
Replies
2
Views
4K
  • · Replies 5 ·
Replies
5
Views
1K
  • · Replies 2 ·
Replies
2
Views
2K