 A^{-1} B^{T}\right)<2 \lambda_{\min}(S), \label{qe4}
    \end{aligned}$$ implies that $2S \succ B A^{-1} B^{T}$. Using Lemma \[lem2\], one can deduce that the condition is satisfied as soon as $$\|B\|^2 < 2\lambda_{\min }(A)\lambda_{\min }(S),$$ which follows from the fact that $$\lambda_{\max }\left (B A^{-1} B^{T}\right)=    \lambda_{\max }\left ( A^{-1} B^{T}B\right) \le \lambda_{\max }\left ( A^{-1} \right)\lambda_{\max }\left (B^{T}B\right)=\frac{\|B\|^2}{\lambda_{\min}(A)}.$$

The induced preconditioner and its spectral analysis {#sec3}
====================================================

From the splitting we have $${\cal P}^{-1}{\cal B}=I-{\cal P}^{-1}{\cal R}=I-{\cal G}.$$ Therefore, under the conditions of Theorem \[th1\] the eigenvalues of ${\cal P}^{-1}{\cal B}$ are contained in the interval $(0,2]$. Thus, $$\label{eq99}
     \mathcal{P}=\left(\begin{array}{ccc}
     {A} & {B^{T}} & {0} \\
     {0} & {S} & {-C^{T}} \\
     {0} & {C} & {0}
     \end{array}\right),$$ can be used as a preconditioner to accelerate the convergence of Krylov subspace methods like GMRES for solving the system.

In the succeeding theorem, we investigate the spectral properties of ${\cal P}^{-1}{\cal B}$ in more details.

\[th5\] Let $A$ be symmetric positive definite and $B$ and $C$ be of full row rank. Then all the eigenvalues of $\mathcal{P}^{-1} \mathcal{B}$ are real and nonzero. Furthermore, $\lambda =1 $ is an eigenvalue of algebraic multiplicity at least $n+l$ and its corresponding eigenvectors are of the form $(x;-S^{-1} B x;z)$ where $x\in\Bbb{R}^{n}$ and $ z \in \Bbb{C}^l$ such that $x,z$ are not simultaneously zero.\
A^{-1 } B^{T}\right)<2 \lambda_{\min}(S), \label{qe4 } 
     \end{aligned}$$ implies that $ 2S \succ B A^{-1 } B^{T}$. Using Lemma \[lem2\ ], one can deduce that the condition is satisfied equally soon as $ $ \|B\|^2 < 2\lambda_{\min } (A)\lambda_{\min } (S),$$ which take after from the fact that $ $ \lambda_{\max } \left (B A^{-1 } B^{T}\right)=     \lambda_{\max } \left (A^{-1 } B^{T}B\right) \le \lambda_{\max } \left (A^{-1 } \right)\lambda_{\max } \left (B^{T}B\right)=\frac{\|B\|^2}{\lambda_{\min}(A)}.$$ 

 The induced preconditioner and its spectral analysis { # sec3 } 
 = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = 

 From the splitting we get $ $ { \cal P}^{-1}{\cal B}=I-{\cal P}^{-1}{\cal R}=I-{\cal G}.$$ consequently, under the conditions of Theorem \[th1\ ] the eigenvalues of $ { \cal P}^{-1}{\cal B}$ are contained in the time interval $ (0,2]$. therefore, $ $ \label{eq99 } 
      \mathcal{P}=\left(\begin{array}{ccc } 
      { A } & { B^{T } } & { 0 } \\ 
      { 0 } & { S } & { -C^{T } } \\ 
      { 0 } & { C } & { 0 } 
      \end{array}\right),$$ can be used as a preconditioner to accelerate the convergence of Krylov subspace methods like GMRES for solving the system. 

 In the succeeding theorem, we investigate the apparitional properties of $ { \cal P}^{-1}{\cal B}$ in more details. 

 \[th5\ ] Let $ A$ be symmetric positivist definite and $ B$ and $ C$ be of full rowing rank. Then all the eigenvalues of $ \mathcal{P}^{-1 } \mathcal{B}$ are actual and nonzero. Furthermore, $ \lambda = 1 $ is an eigenvalue of algebraic multiplicity at least $ n+l$ and its corresponding eigenvectors are of the form $ (x;-S^{-1 } B x;z)$ where $ x\in\Bbb{R}^{n}$ and $ omega \in \Bbb{C}^l$ such that $ x, z$ are not simultaneously zero.\
 A^{-1} H^{T}\right)<2 \lambda_{\min}(S), \label{de4}
    \end{aligneb}$$ implixs that $2S \succ C A^{-1} B^{T}$. Using Lemma \[lem2\], one cen dwduce that the condition is satisfief as soob as $$\|V\|^2 < 2\lambda_{\mmh }(A)\lambda_{\min }(A),$$ whieh follows from jhe fact thad $$\lambda_{\max }\lext (B A^{-1} B^{T}\right)=    \lambda_{\max }\left ( A^{-1} B^{T}B\wight) \lr \pambda_{\max }\left ( A^{-1} \gidht)\lzmbda_{\max }\left (B^{T}B\right)=\frac{\|B\|^2}{\lambda_{\mjn}(A)}.$$

The pnduced preconditooner and its spectral anapysid {#sec3}
====================================================

From the splihting we hace $${\cwo P}^{-1}{\cal B}=I-{\cal P}^{-1}{\cal R}=I-{\cal G}.$$ Thereforg, under the conditions of Theoreo \[th1\] che eigenvaouws lx ${\cal P}^{-1}{\cal U}$ are bontained in bne intarval $(0,2]$. Yhus, $$\label{eq99}
     \katycal{P}=\left(\begin{array}{ccr}
     {A} & {B^{T}} & {0} \\
     {0} & {S} & {-C^{T}} \\
     {0} & {C} & {0}
     \end{arrqy}\eight),$$ can be jwed as a pdecondltikner to acdelerate thw convergence of Kruljn subspace mefhods jihe GMRES for solving the system.

In the slccesding theorem, we investugate the spectral prlperties jf ${\cal P}^{-1}{\cal B}$ in more details.

\[th5\] Let $A$ be symmetriw posmtkve dcfinkre and $B$ and $C$ be of full row rank. Then all the sibekvalues of $\mathccl{P}^{-1} \mathcal{B}$ are rfak and nonzero. Wurthexjode, $\lambda =1 $ is an figenvajue od algebrayc miltiplicity at least $n+l$ and its correspjbding eigenvectors are of the fork $(x;-S^{-1} N x;z)$ where $x\in\Bbb{R}^{n}$ and $ z \jn \Bbb{C}^l$ sufh that $x,a$ are not simultaveolsly zero.\
A^{-1} B^{T}\right)<2 \lambda_{\min}(S), \label{qe4} \end{aligned}$$ implies that B B^{T}$. Using \[lem2\], one can satisfied soon as $$\|B\|^2 2\lambda_{\min }(A)\lambda_{\min }(S),$$ follows from the fact that $$\lambda_{\max (B A^{-1} B^{T}\right)= \lambda_{\max }\left ( A^{-1} B^{T}B\right) \le \lambda_{\max }\left ( A^{-1} }\left (B^{T}B\right)=\frac{\|B\|^2}{\lambda_{\min}(A)}.$$ The induced preconditioner and its spectral analysis {#sec3} ==================================================== From the we $${\cal B}=I-{\cal R}=I-{\cal G}.$$ Therefore, under the conditions of Theorem \[th1\] the eigenvalues of ${\cal P}^{-1}{\cal B}$ are in the interval $(0,2]$. Thus, $$\label{eq99} \mathcal{P}=\left(\begin{array}{ccc} {A} {B^{T}} & {0} \\ & {S} & {-C^{T}} \\ & & {0} can used a preconditioner to the convergence of Krylov subspace methods like GMRES for solving the system. In the succeeding theorem, we the spectral ${\cal P}^{-1}{\cal in details. Let $A$ be definite and $B$ and $C$ be rank. Then all the eigenvalues of $\mathcal{P}^{-1} \mathcal{B}$ real and Furthermore, $\lambda =1 $ is an of algebraic multiplicity at least $n+l$ and its eigenvectors are of the form $(x;-S^{-1} B x;z)$ where $x\in\Bbb{R}^{n}$ and $ z \in \Bbb{C}^l$ $x,z$ are not simultaneously
 A^{-1} B^{T}\right)<2 \lambda_{\min}(S), \label{qe4}
    \End{aligned}$$ ImpliEs tHat $2s \sUcc B a^{-1} B^{T}$. USing Lemma \[lem2\], onE Can dEduce that the condition iS satiSfIEd as SOoN as $$\|B\|^2 < 2\lAmbda_{\miN }(a)\lAMBda_{\MiN }(S),$$ WhiCh FOlLows fRom The fact That $$\lambda_{\Max }\LeFt (B A^{-1} B^{T}\right)=    \lAMbDa_{\max }\left ( A^{-1} b^{T}B\Right) \le \lambdA_{\maX }\left ( A^{-1} \RiGht)\LAmbda_{\Max }\Left (B^{t}B\righT)=\Frac{\|B\|^2}{\lAmbda_{\min}(A)}.$$

thE InduceD PrecondITIoNer aNd its spectral analYSiS {#Sec3}
====================================================

From the spliTting wE hAVe $${\CAL P}^{-1}{\cAl B}=i-{\cal P}^{-1}{\cal R}=I-{\CaL G}.$$ TheREfore, unDEr THE ConDItions of TheorEm \[th1\] the eigeNValUes of ${\cAl p}^{-1}{\caL b}$ are coNtainEd IN thE interval $(0,2]$. ThUs, $$\laBel{eq99}
     \mathCal{P}=\leFT(\begin{aRRay}{ccc}
     {A} & {b^{T}} & {0} \\
     {0} & {S} & {-C^{T}} \\
     {0} & {C} & {0}
     \End{ArrAy}\riGHt),$$ CaN be UsED as A PrEcoNDitIoner to aCcElErate The cONVERgenCe oF KryLov suBspace methods LikE GMRes foR solvIng thE sysTeM.

In thE succeEding ThEorem, we investigAte tHe spectraL prOpErtIeS of ${\caL p}^{-1}{\cal B}$ iN moRe dEtails.

\[tH5\] Let $A$ be SYmmEtRIC PoSitive definite and $B$ AnD $c$ Be Of full roW rank. THEn AlL The eigenVaLueS of $\mATHcal{P}^{-1} \MathCAl{b}$ are real And nonZErO. FUrthermOrE, $\lambdA =1 $ iS an EigEnvalUE of aLgebraIc multipLicitY At least $n+l$ and itS Corresponding EIgENVeCTors Are Of the form $(x;-S^{-1} b x;z)$ wHEre $x\In\BbB{r}^{n}$ And $ Z \In \Bbb{c}^l$ sucH tHAt $X,Z$ are not simultaneousLy Zero.\
 A^{-1} B^{T}\right)<2 \la mbda_{\min }(S),  \l abe l{ qe4} 
   \end{aligned} $ $ im plies that $2S \succ B  A^{- 1} B^{T } $.  Usin g Lemma \[ l e m2\ ],  o neca n  d educe  th at theconditionissa tisfied as s o on  as $$\|B\ |^2  < 2\lambda_ {\m in }(A )\ lam b da_{\ min  }(S) ,$$ wh i ch fol lows from  t h e fact that $$ \ l am bda_ {\max }\left (B A ^ {- 1 } B^{T}\right) =    \ la m bd a _ {\m ax}\left ( A ^{ -1} B ^ {T}B\ri g ht ) \ le\ lambda_{\max}\left ( A^ { -1}  \righ t) \la m bda_{\ max } \l e ft(B^{T}B\rig ht)= \frac{\|B \|^2}{ \ lambda_ { \min}(A )}.$$
Th e i nduc e dpr eco nd i tio n er  an d  it s spectr al  a nalys is { # s e c 3}
= === ==== ===== ============= === ==== = === ===== ===== ==== =
From  the s plitt in g we have $${\c al P }^{-1}{\c alB} =I- {\ cal P } ^{-1}{ \ca l R }=I-{\c al G}.$ $  Th er e f o re , under the condit io n s  o f Theore m \[th 1 \]  t h e eigenv al ues  of$ { \calP}^{ - 1} {\cal B} $ arec on ta ined in  t he int er val  $( 0,2]$ .  Thu s, $$\ label{eq 99}
   \mathcal{P} = \left(\begin{ a rr a y }{ c cc}    {A} & {B^ {T}} & {0 } \\    { 0} &{S} &  { - C^ { T}} \\
     {0} & { C}  & {0} 
    \end{array}\ right),$$c a n  be used  asa  p r econditioner t o acc elerate th e  converg enceof Krylo v subspac e methodslik e G MRE S f o r  s olving the sy s t em.
I n the s ucc eedingthe ore m,wein vestigate  the spe ct ra lpr ope rties of ${\ca lP}^ {- 1}{ \calB }$ inmoredeta il s. 
\[ th5\] L e t$ A $ be  s ym metr icpo sitiv e de f ini te and$B$ and $ C$b e of  f ul l row r ank. Then all  t he eigenva lu esof $\m a t hcal{P}^ {-1} \mathcal{B}$ are r e al andnon zero.  Fur thermore,  $\ lambda  =1 $ is a n eige nvalu eofa l gebra i c  m ult ip licity atl e ast  $n+l $andits cor responding eigenve c tor s are of thefor m $( x ; -S ^{- 1 }B  x; z) $  wh e r e $x\in\Bbb{R}^ {n}$ and $  z \i n \Bbb{C}^ l $ s uc h that$x,z$ a re no t  simult aneouslyzero.\
 A^{-1}_B^{T}\right)<2 \lambda_{\min}(S),_\label{qe4}
   _\end{aligned}$$ implies_that_$2S \succ_B_A^{-1} B^{T}$. Using_Lemma \[lem2\], one_can deduce that the_condition is satisfied_as_soon as $$\|B\|^2 < 2\lambda_{\min }(A)\lambda_{\min }(S),$$ which follows from the fact that $$\lambda_{\max_}\left_(B A^{-1}_B^{T}\right)=__  \lambda_{\max }\left (_A^{-1} B^{T}B\right) \le \lambda_{\max }\left_( A^{-1}_\right)\lambda_{\max }\left (B^{T}B\right)=\frac{\|B\|^2}{\lambda_{\min}(A)}.$$

The induced preconditioner and its spectral_analysis_{#sec3}
====================================================

From the splitting_we have $${\cal P}^{-1}{\cal B}=I-{\cal P}^{-1}{\cal R}=I-{\cal G}.$$ Therefore,_under the conditions of Theorem \[th1\]_the eigenvalues of_${\cal_P}^{-1}{\cal_B}$ are contained in_the interval $(0,2]$. Thus, $$\label{eq99}
 _   \mathcal{P}=\left(\begin{array}{ccc}
  _  {A} & {B^{T}} & {0}_\\
     {0}_& {S} & {-C^{T}} \\
_ _  {0} & {C}_& {0}
 _ _ \end{array}\right),$$ can_be used as a preconditioner to_accelerate the convergence_of Krylov subspace methods like GMRES_for_solving the system.

In_the_succeeding_theorem, we_investigate the spectral_properties_of ${\cal_P}^{-1}{\cal_B}$ in more details.

\[th5\] Let $A$_be_symmetric positive definite and $B$ and $C$_be of full row_rank._Then all the eigenvalues_of $\mathcal{P}^{-1} \mathcal{B}$ are real_and nonzero. Furthermore, $\lambda =1 $_is an_eigenvalue of_algebraic multiplicity at least $n+l$ and its corresponding eigenvectors are of_the form $(x;-S^{-1} B x;z)$ where_$x\in\Bbb{R}^{n}$ and $ z_\in \Bbb{C}^l$_such_that $x,z$ are_not_simultaneously zero.\