<?xml version="1.0" encoding="UTF-8"?>
<!--
 * Scilab ( https://www.scilab.org/ ) - This file is part of Scilab
 * Copyright (C) 2008 - INRIA
 *
 * Copyright (C) 2012 - 2016 - Scilab Enterprises
 *
 * This file is hereby licensed under the terms of the GNU GPL v2.0,
 * pursuant to article 5.3.4 of the CeCILL v.2.1.
 * This file was originally licensed under the terms of the CeCILL v2.1,
 * and continues to be available under such terms.
 * For more information, see the COPYING file which you should have received
 * along with this program.
 *
 -->
<refentry xmlns="http://docbook.org/ns/docbook" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:svg="http://www.w3.org/2000/svg" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:db="http://docbook.org/ns/docbook" xmlns:scilab="http://www.scilab.org" xml:lang="ja" xml:id="projspec">
    <refnamediv>
        <refname>projspec</refname>
        <refpurpose>スペクトル演算子</refpurpose>
    </refnamediv>
    <refsynopsisdiv>
        <title>呼び出し手順</title>
        <synopsis>[S,P,D,i]=projspec(A)</synopsis>
    </refsynopsisdiv>
    <refsection>
        <title>引数</title>
        <variablelist>
            <varlistentry>
                <term>A</term>
                <listitem>
                    <para>正方行列</para>
                </listitem>
            </varlistentry>
            <varlistentry>
                <term>S, P, D</term>
                <listitem>
                    <para>s正方行列</para>
                </listitem>
            </varlistentry>
            <varlistentry>
                <term>i</term>
                <listitem>
                    <para>
                        整数 (<literal>A</literal>のゼロ固有値の添字).
                    </para>
                </listitem>
            </varlistentry>
        </variablelist>
    </refsection>
    <refsection>
        <title>説明</title>
        <para>
            <literal>A</literal>の0におけるスペクトル特性.
        </para>
        <para>
            <literal>S</literal> = 0における縮小レゾルベント
            (<literal>S</literal> = -Drazin_inverse(<literal>A</literal>)).
        </para>
        <para>
            <literal>P</literal> = 0におけるスペクトル投影.
        </para>
        <para>
            <literal>D</literal> = 0における冪零演算子.
        </para>
        <para>
            <literal>index</literal> = 0固有値の添字.
        </para>
        <para>
            特異点s=0の周りでの
            <literal>(s*eye()-A)^(-1) = D^(i-1)/s^i +... + D/s^2 + P/s - S - s*S^2 -...</literal>
            が出力されます.
        </para>
    </refsection>
    <refsection>
        <title>例</title>
        <programlisting role="example"><![CDATA[
deff('j=jdrn(n)','j=zeros(n,n);for k=1:n-1;j(k,k+1)=1;end')
A = blockdiag(jdrn(3),jdrn(2),rand(2,2));
X = rand(7,7);
A = X*A*inv(X);
[S,P,D,index]=projspec(A);
index   //J-ブロックの大きさ
trace(P)  //J-ブロックの次元の合計
A*S-(eye()-P)
norm(D^index,1)
 ]]></programlisting>
    </refsection>
    <refsection role="see also">
        <title>参照</title>
        <simplelist type="inline">
            <member>
                <link linkend="coff">coff</link>
            </member>
        </simplelist>
    </refsection>
</refentry>