Let A be a $n \times n$ matrix, we say that a linear subspace of $\mathbb{R}^n$ is invariant under $A$ if every vector $x$ in that subspace has the property that $Ax$ also belongs to that subspace. Show that the system $$\dot{x}(t)=Ax(t)+bu(t)~,~b \in \mathbb{R}^n$$is controllable if and only if $b$ doesnot belong to invariant subspace of $A$.
2026-03-27 19:30:54.1774639854
A condition on controllability based on invariant subspace
448 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
1
There are 1 best solutions below
Related Questions in LINEAR-ALGEBRA
- An underdetermined system derived for rotated coordinate system
- How to prove the following equality with matrix norm?
- Alternate basis for a subspace of $\mathcal P_3(\mathbb R)$?
- Why the derivative of $T(\gamma(s))$ is $T$ if this composition is not a linear transformation?
- Why is necessary ask $F$ to be infinite in order to obtain: $ f(v)=0$ for all $ f\in V^* \implies v=0 $
- I don't understand this $\left(\left[T\right]^B_C\right)^{-1}=\left[T^{-1}\right]^C_B$
- Summation in subsets
- $C=AB-BA$. If $CA=AC$, then $C$ is not invertible.
- Basis of span in $R^4$
- Prove if A is regular skew symmetric, I+A is regular (with obstacles)
Related Questions in CONTROL-THEORY
- MIT rule VS Lyapunov design - Adaptive Control
- Question on designing a state observer for discrete time system
- Do I really need quadratic programming to do a Model Predictive Controller?
- Understanding Definition of Switching Sequence
- understanding set of controllable state for switched system
- understanding solution of state equation
- Derive Anti Resonance Frequency from Transfer Function
- Laplace Transforms, show the relationship between the 2 expressions
- Laplace transform of a one-sided full-wave rectified...
- State-Space Realization of a Matrix of Transfer Functions
Trending Questions
- Induction on the number of equations
- How to convince a math teacher of this simple and obvious fact?
- Find $E[XY|Y+Z=1 ]$
- Refuting the Anti-Cantor Cranks
- What are imaginary numbers?
- Determine the adjoint of $\tilde Q(x)$ for $\tilde Q(x)u:=(Qu)(x)$ where $Q:U→L^2(Ω,ℝ^d$ is a Hilbert-Schmidt operator and $U$ is a Hilbert space
- Why does this innovative method of subtraction from a third grader always work?
- How do we know that the number $1$ is not equal to the number $-1$?
- What are the Implications of having VΩ as a model for a theory?
- Defining a Galois Field based on primitive element versus polynomial?
- Can't find the relationship between two columns of numbers. Please Help
- Is computer science a branch of mathematics?
- Is there a bijection of $\mathbb{R}^n$ with itself such that the forward map is connected but the inverse is not?
- Identification of a quadrilateral as a trapezoid, rectangle, or square
- Generator of inertia group in function field extension
Popular # Hahtags
second-order-logic
numerical-methods
puzzle
logic
probability
number-theory
winding-number
real-analysis
integration
calculus
complex-analysis
sequences-and-series
proof-writing
set-theory
functions
homotopy-theory
elementary-number-theory
ordinary-differential-equations
circles
derivatives
game-theory
definite-integrals
elementary-set-theory
limits
multivariable-calculus
geometry
algebraic-number-theory
proof-verification
partial-derivative
algebra-precalculus
Popular Questions
- What is the integral of 1/x?
- How many squares actually ARE in this picture? Is this a trick question with no right answer?
- Is a matrix multiplied with its transpose something special?
- What is the difference between independent and mutually exclusive events?
- Visually stunning math concepts which are easy to explain
- taylor series of $\ln(1+x)$?
- How to tell if a set of vectors spans a space?
- Calculus question taking derivative to find horizontal tangent line
- How to determine if a function is one-to-one?
- Determine if vectors are linearly independent
- What does it mean to have a determinant equal to zero?
- Is this Batman equation for real?
- How to find perpendicular vector to another vector?
- How to find mean and median from histogram
- How many sides does a circle have?
If we can work from the condition regarding the rank of the controllability matrix, then it suffices to note that the column-space of the controllability matrix $[b,Ab,\dots,A^{n-1}b]$ is the smallest $A$-invariant subspace that contains $b$. This invariant subspace will be a proper subspace of $\Bbb R^n$ if and only if the dimension of this subspace is less than $n$.
We can show that the column-space is the smallest invariant subspace that contains $b$ as follows: to show that the column-space is invariant, note that every element of the column space can be written in the form $$ x = \sum_{i=0}^{n-1} a_i A^ib $$ for some coefficients $a_i \in \Bbb R^n$. Thus, it suffices to show that for $0 \leq i \leq n-1$, $A(A^ib)$ is an element of this column space. It's clear that when $i < n- 1$, $A(A^ib) = A^{i+1}b$ will also be an element of this column space. For the case of $i = n$, note that by the Cayley-Hamilton theorem we must have $$ A^n = c_0I + c_1 A + \cdots + c_{n-1}A^{n-1} $$ for some coefficients $c_i \in \Bbb R$. It follows that $A(A^{n-1}b)$ is an element of this column space since $$ A(A^{n-1}b) = A^n b = c_0b + c_1 Ab + \cdots + c_{n-1}A^{n-1}b $$ which is an element of the column space.
To show that the column-space is the smallest such invariant space, it suffices to note that an invariant space that contains $b$ must (by definition) contain $Ab$, and must therefore contain $A(Ab) = A^2b$, and so on.