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

            How to change which sound is reproduced for terminal bell?

            Can I use Tabulator js library in my java Spring + Thymeleaf project?

            Title Spacing in Bjornstrup Chapter, Removing Chapter Number From Contents