BUILT-IN MATHEMATICA SYMBOL

Casoratian

gives the Casoratian determinant for the sequences

,

, ... depending on n.

Casoratian

gives the Casoratian determinant for the basis of the solutions of the linear difference equation eqn involving

.

Casoratian

gives the Casoratian determinant for the system of linear difference equations eqns.

MORE INFORMATION

The Casoratian determinant is defined as: Det[Table[DiscreteShift[y_i, {n, j}], {i, m}, {j, 0, m-1}]].

Linear independence of the functions , , ... is equivalent to the vanishing of the Casoratian.

EXAMPLES

CLOSE ALL

Basic Examples (4)

These sequences are linearly independent:

The following sequences are linearly dependent:

Here the sequences are linearly dependent only when

:

The Casoratian for a linear equation:

Except for a constant, the result is the same as for the explicit solution:

These sequences are linearly independent:

In[1]:=

Out[1]=

In[2]:=

Out[2]=

The following sequences are linearly dependent:

In[1]:=

Out[1]=

In[2]:=

Out[2]=

Here the sequences are linearly dependent only when

:

In[1]:=

Out[1]=

The Casoratian for a linear equation:

In[1]:=

Out[1]=

Except for a constant, the result is the same as for the explicit solution:

In[2]:=

Out[2]=

In[3]:=

Out[3]=

Scope (9)

Polynomials:

Rational functions:

Exponentials and polynomial exponentials:

Trigonometric and polynomial trigonometric:

Hypergeometric term sequences:

Constant coefficient linear equation:

The Casoratian for a difference equation is usually simpler than for its solutions:

Polynomial coefficient linear equation:

The corresponding Casoratian from the general solution:

Factorial coefficient linear equation:

Periodic coefficients:

Periodic products:

Applications (2)

Variation of parameters for second-order inhomogeneous equations:

Verify that the components of the general solution for an O

E are linearly independent:

Properties & Relations (6)

Casoratian is equivalent to a determinant:

Casoratian detects linear dependence:

Wronskian performs linear dependence for functions of a continuous argument:

Functions of continuous arguments may be independent:

But sampling those functions may generate dependent sequences or aliasing:

Use Orthogonalize to generate a set of linearly independent sequences:

Express a sequence in the basis:

The last component is linearly dependent on the previous ones:

Use Reduce to express polynomials and rational sequences in terms of each other: