Search Results
Search type | Search syntax |
---|---|
Tags | [tag] |
Exact | "words here" |
Author |
user:1234 user:me (yours) |
Score |
score:3 (3+) score:0 (none) |
Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
Views | views:250 |
Code | code:"if (foo != bar)" |
Sections |
title:apples body:"apples oranges" |
URL | url:"*.example.com" |
Saves | in:saves |
Status |
closed:yes duplicate:no migrated:no wiki:no |
Types |
is:question is:answer |
Exclude |
-[tag] -apples |
For more details on advanced search visit our help page |
Operations research, linear programming, control theory, systems theory, optimal control, game theory
12
votes
1
answer
2k
views
Sard's Theorem For Banach Spaces
Given a smooth map from $\phi: B \rightarrow M$ where $B$ is a Banach Space and $M$ is a finite dimensional smooth manifold (for example, the end point map for a control system), what is the strongest …
7
votes
1
answer
271
views
Closest point in $SU(n) \otimes SU(n)$ to $SU(n^2)$
What is the closest $V_1 \otimes V_2 \in SU(n)\otimes SU(n)$ in the squared trace inner product to a given $U \in SU(n^2)$? I.e. minimize over $V_1, V_2$:
$\min_{V_1, V_2} | V_1 \otimes V_2 - U|$ in …
5
votes
3
answers
1k
views
Constant rank theorem for Banach spaces
Is there a similar statement to the constant rank theorem for finite dimensional real smooth manifolds which holds for a smooth map $F:B \rightarrow M$ where $B$ is an infinite (countable) dimensional …
4
votes
2
answers
696
views
Lagrangian with non-holonomic constraints
Given a smooth manifold $M$ and a smooth Lagrangian $\mathcal{L}(x,\dot{x})$ on $M$, the curves which make stationary the corresponding action are those which solve the Euler-Lagrange equations.
If a …
3
votes
1
answer
110
views
Do the values of the differential of a function on a Lie group with a single maximum span th...
Consider: a vector field $X=\nabla \phi$ on a compact, semi-simple, connected matrix Lie group $G$ where $\phi$ as a smooth scalar field on $G$ possessing only a single maxima which topologically is a …
3
votes
2
answers
136
views
Level sets on $SU(4)$
Given $G \in SU(4)$, what are the level sets of the function $F:SU(n)\rightarrow \mathbb{R}$ defined by $F(V) = |tr(G^{\dagger}V)|^2$?
Can they be written only in terms of abstract linear maps, not i …
3
votes
0
answers
70
views
Attainability of Global Optima In Optimal Control
Given a manifold $M$ and a set of smooth functions of one real variable $\mathcal{A}$ and a 'control system' type first order differential equation:
$\frac{d x(t)}{dt} = F(x,u)$
one can consider the …
3
votes
0
answers
189
views
Non-invariant Lagrangian on SU(n)
I have a Lagrangian on $SU(n)$, which is not invariant.
Given the Lagrangian $\mathcal{L}[U_t, \dot{U}_t] = \langle \dot{U}_t, \nabla J \big|_{U_t} \rangle$
I need to find the curves of stationary a …
3
votes
0
answers
51
views
Maximizing a function on $SU(4)$ similar to Von Neumann Trace Inequality
Given arbitrary $X,Y \in \mathfrak{su}(4)$, I want to maximize either of the following functions:
$\max_{U,V \in SU(2)} \Re(\text{Tr}(X^\dagger (U^{\dagger} \otimes V^{\dagger})Y (U \otimes V)))$
an …
3
votes
1
answer
134
views
Singular curves of affine distributions on a Lie group
Are there any results about the rigidity of singular curves of rank 1 affine distributions on a connected compact Lie group?
Specifically the case of a right invariant affine distribution: $D_{U} = \ …
2
votes
1
answer
236
views
Simultaneous integral equation on $SU(n)$
Consider a smooth curve $U_s:[0,T] \rightarrow SU(4)$ which solves:
$\frac{d U_s}{ds} = (a + w(s)b)U_s$
for some given $a,b \in \mathfrak{su}(4)$ (which generate $\mathfrak{su}(n)$) and a smooth rea …
2
votes
0
answers
90
views
Singularities of the Quantum propagator (baby version)
Given $a,b \in \mathfrak{su}(4)$ which are taken to generate the whole algebra, consider the following map $V:\mathbb{R}^{2} \rightarrow SU(4)$:
$V : (w_1, w_{2}) \mapsto e^{(a+w_2 b)} e^{(a+w_1 b)}$ …
2
votes
0
answers
421
views
First Variation of Dyson Series/Magnus Expansion
Given the matrix differential equation $\frac{dU_t}{dt}=A_t U_t$ there are at least two ways to write a formal solution. Both the Dyson series: $U_t = \mathcal{T} e^{\int_{0}^{t} A_t dt}$ and the Magn …
2
votes
1
answer
142
views
Largest subgroup of $SU(n)$ for which the adjoint action preserves specific inner product on...
Given $A,B \in \mathfrak{su}(n)$ such that $K(A, B)=0$, I am looking for the largest subgroup $H$ of $SU(n)$ for which:
$K \left(A, Ad_{U}(B) \right) = 0, \ \ \forall U \in H$ where $K$ is the Killin …
2
votes
0
answers
115
views
Are singular critical points isolated for control systems on compact semisimple Lie groups
Given a control system on $\mathrm{SU}(n)$ (or any other compact, semi-simple Lie group I suspect) of the form:
$\frac{d U_t}{dt} = (A + w(t)B)U_t$
where $A,B \in \mathfrak{su}(n)$ generate the alge …