Understanding negative definite/semidefinite functions [closed]












0












$begingroup$


I'm working on control theory and have some difficulty understanding if a function is negative definite or semidefinite.



Given the system



$dot{x_1} = -x_2^2$



$dot{x_2} = -x_1^2x_2 + x_1^3 - x_2$



How do I determine if



$-x_1^2x_2^4 - x_2^4$



is negative definite or negative semidefinite?










share|cite|improve this question











$endgroup$



closed as off-topic by Brahadeesh, Federico, jameselmore, Davide Giraudo, Namaste Dec 13 '18 at 22:16


This question appears to be off-topic. The users who voted to close gave this specific reason:


  • "This question is missing context or other details: Please provide additional context, which ideally explains why the question is relevant to you and our community. Some forms of context include: background and motivation, relevant definitions, source, possible strategies, your current progress, why the question is interesting or important, etc." – Brahadeesh, Federico, jameselmore, Davide Giraudo, Namaste

If this question can be reworded to fit the rules in the help center, please edit the question.












  • 1




    $begingroup$
    "negative-definite" as applied to a function has different meaning in different contexts. Is this definition the one you're working with?
    $endgroup$
    – Omnomnomnom
    Dec 13 '18 at 16:27










  • $begingroup$
    Take $x_1 = 1$ and $x_2 = 0$. Then clearly your expression equals $0$ although $(x_1, x_2) = (1, 0) neq (0, 0)$. Therefore, your expression is negative semi-definite.
    $endgroup$
    – SampleTime
    Dec 13 '18 at 21:31


















0












$begingroup$


I'm working on control theory and have some difficulty understanding if a function is negative definite or semidefinite.



Given the system



$dot{x_1} = -x_2^2$



$dot{x_2} = -x_1^2x_2 + x_1^3 - x_2$



How do I determine if



$-x_1^2x_2^4 - x_2^4$



is negative definite or negative semidefinite?










share|cite|improve this question











$endgroup$



closed as off-topic by Brahadeesh, Federico, jameselmore, Davide Giraudo, Namaste Dec 13 '18 at 22:16


This question appears to be off-topic. The users who voted to close gave this specific reason:


  • "This question is missing context or other details: Please provide additional context, which ideally explains why the question is relevant to you and our community. Some forms of context include: background and motivation, relevant definitions, source, possible strategies, your current progress, why the question is interesting or important, etc." – Brahadeesh, Federico, jameselmore, Davide Giraudo, Namaste

If this question can be reworded to fit the rules in the help center, please edit the question.












  • 1




    $begingroup$
    "negative-definite" as applied to a function has different meaning in different contexts. Is this definition the one you're working with?
    $endgroup$
    – Omnomnomnom
    Dec 13 '18 at 16:27










  • $begingroup$
    Take $x_1 = 1$ and $x_2 = 0$. Then clearly your expression equals $0$ although $(x_1, x_2) = (1, 0) neq (0, 0)$. Therefore, your expression is negative semi-definite.
    $endgroup$
    – SampleTime
    Dec 13 '18 at 21:31
















0












0








0





$begingroup$


I'm working on control theory and have some difficulty understanding if a function is negative definite or semidefinite.



Given the system



$dot{x_1} = -x_2^2$



$dot{x_2} = -x_1^2x_2 + x_1^3 - x_2$



How do I determine if



$-x_1^2x_2^4 - x_2^4$



is negative definite or negative semidefinite?










share|cite|improve this question











$endgroup$




I'm working on control theory and have some difficulty understanding if a function is negative definite or semidefinite.



Given the system



$dot{x_1} = -x_2^2$



$dot{x_2} = -x_1^2x_2 + x_1^3 - x_2$



How do I determine if



$-x_1^2x_2^4 - x_2^4$



is negative definite or negative semidefinite?







linear-algebra ordinary-differential-equations control-theory






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Dec 13 '18 at 16:24









Omnomnomnom

129k794188




129k794188










asked Dec 13 '18 at 16:16









fendrbudfendrbud

11




11




closed as off-topic by Brahadeesh, Federico, jameselmore, Davide Giraudo, Namaste Dec 13 '18 at 22:16


This question appears to be off-topic. The users who voted to close gave this specific reason:


  • "This question is missing context or other details: Please provide additional context, which ideally explains why the question is relevant to you and our community. Some forms of context include: background and motivation, relevant definitions, source, possible strategies, your current progress, why the question is interesting or important, etc." – Brahadeesh, Federico, jameselmore, Davide Giraudo, Namaste

If this question can be reworded to fit the rules in the help center, please edit the question.







closed as off-topic by Brahadeesh, Federico, jameselmore, Davide Giraudo, Namaste Dec 13 '18 at 22:16


This question appears to be off-topic. The users who voted to close gave this specific reason:


  • "This question is missing context or other details: Please provide additional context, which ideally explains why the question is relevant to you and our community. Some forms of context include: background and motivation, relevant definitions, source, possible strategies, your current progress, why the question is interesting or important, etc." – Brahadeesh, Federico, jameselmore, Davide Giraudo, Namaste

If this question can be reworded to fit the rules in the help center, please edit the question.








  • 1




    $begingroup$
    "negative-definite" as applied to a function has different meaning in different contexts. Is this definition the one you're working with?
    $endgroup$
    – Omnomnomnom
    Dec 13 '18 at 16:27










  • $begingroup$
    Take $x_1 = 1$ and $x_2 = 0$. Then clearly your expression equals $0$ although $(x_1, x_2) = (1, 0) neq (0, 0)$. Therefore, your expression is negative semi-definite.
    $endgroup$
    – SampleTime
    Dec 13 '18 at 21:31
















  • 1




    $begingroup$
    "negative-definite" as applied to a function has different meaning in different contexts. Is this definition the one you're working with?
    $endgroup$
    – Omnomnomnom
    Dec 13 '18 at 16:27










  • $begingroup$
    Take $x_1 = 1$ and $x_2 = 0$. Then clearly your expression equals $0$ although $(x_1, x_2) = (1, 0) neq (0, 0)$. Therefore, your expression is negative semi-definite.
    $endgroup$
    – SampleTime
    Dec 13 '18 at 21:31










1




1




$begingroup$
"negative-definite" as applied to a function has different meaning in different contexts. Is this definition the one you're working with?
$endgroup$
– Omnomnomnom
Dec 13 '18 at 16:27




$begingroup$
"negative-definite" as applied to a function has different meaning in different contexts. Is this definition the one you're working with?
$endgroup$
– Omnomnomnom
Dec 13 '18 at 16:27












$begingroup$
Take $x_1 = 1$ and $x_2 = 0$. Then clearly your expression equals $0$ although $(x_1, x_2) = (1, 0) neq (0, 0)$. Therefore, your expression is negative semi-definite.
$endgroup$
– SampleTime
Dec 13 '18 at 21:31






$begingroup$
Take $x_1 = 1$ and $x_2 = 0$. Then clearly your expression equals $0$ although $(x_1, x_2) = (1, 0) neq (0, 0)$. Therefore, your expression is negative semi-definite.
$endgroup$
– SampleTime
Dec 13 '18 at 21:31












1 Answer
1






active

oldest

votes


















1












$begingroup$

Is there $(x_1, x_2) neq (0,0)$ such that the function attains $0$? If so, it is semidefinite.



Note that I don't know your definition, I'm just guessing by the usual definition for bilinear forms.






share|cite|improve this answer









$endgroup$




















    1 Answer
    1






    active

    oldest

    votes








    1 Answer
    1






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes









    1












    $begingroup$

    Is there $(x_1, x_2) neq (0,0)$ such that the function attains $0$? If so, it is semidefinite.



    Note that I don't know your definition, I'm just guessing by the usual definition for bilinear forms.






    share|cite|improve this answer









    $endgroup$


















      1












      $begingroup$

      Is there $(x_1, x_2) neq (0,0)$ such that the function attains $0$? If so, it is semidefinite.



      Note that I don't know your definition, I'm just guessing by the usual definition for bilinear forms.






      share|cite|improve this answer









      $endgroup$
















        1












        1








        1





        $begingroup$

        Is there $(x_1, x_2) neq (0,0)$ such that the function attains $0$? If so, it is semidefinite.



        Note that I don't know your definition, I'm just guessing by the usual definition for bilinear forms.






        share|cite|improve this answer









        $endgroup$



        Is there $(x_1, x_2) neq (0,0)$ such that the function attains $0$? If so, it is semidefinite.



        Note that I don't know your definition, I'm just guessing by the usual definition for bilinear forms.







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered Dec 13 '18 at 16:26









        StockfishStockfish

        62726




        62726















            Popular posts from this blog

            Biblatex bibliography style without URLs when DOI exists (in Overleaf with Zotero bibliography)

            ComboBox Display Member on multiple fields

            Is it possible to collect Nectar points via Trainline?