Normal cones to sublevel sets - DIM-UChile

20 downloads 0 Views 240KB Size Report
and upper Dini, Frechet, proximal. ..... is not compatible with the inequality (x*, у -x) > 0. ... for every x, у Gdom(f) the inequality (df(x), у-x) >0 ensures f(у) >f(x).
                              ½

¾

                        ! "# $%&&      '         (  )' & '   )   * '  "    " 



! "#

 '  &  & &# & && & %     " &      +,&+# %

-   ."  &  #  & /   0  &   1*2 ." 132/  & " &&    &%  1*2      &    "      &   &  &  & #  &    0  %        & %4 #  &  4     & &&" '  &   &&  (  &

 "          ( 35'67 8& ( *9:35 553      ;& &   &  (  &&  ("   

               

                                       !                 "     #      $  %    &$   

      " '(! ')! ''! #      $  % *    + ,!         " !#      

                      - .                               $  %       

         *        $  %         $          +   .         ,!   %                    /    & 0 &$            $  % "&  (  #    % "& ,#

;& &  & % 

9

         1        

    " #         +2 3 4

                                5          6 Æ "#              Æ  )  67    6 "# 7 3              67    6 " # "# "   7    6 " #  "##               4       ! 7   3 "' # 6 ) '         ! !    !   

        

8     0!        /     5    

       

 1             6  +2 3

       "#             6 "9'#

"# 7    6    3 "# " #         %: "90# )  "#              : "9(# " 3 #"# "# 3 "#          %                      "#  " #"#    +   $                  - .2.          /   8         6  "# 7    6     " #         " # 7       ' " " 3  # " ##  ¼

  





 ¼  



 ´µ

"# 7    6    



" #     

' " " 3 # "##  " # 7   ·



+       )           )  )              "# " # 5     0!         

9

" ' '" 





            

               /   6    "# 67     

  )   



            $  " #       8                    /    8  /    4                                   "#      "# 7   



              "  "# 7 )      3     # 4   /   "- .    ;    

    4       7        - .    "0#  "# 7    6    )   "#    )  Æ  )      "#    Æ "#   !) Æ " 3  " ##   7  5               

  



;& &  & % 

96

 8  /    4         6  +2 3           6  0            ´µ "#            '# +        7           ,! "   "0## 0# 1         "   7    6 "#  #

       "     #      ,! "%          !# 6       ? "# 7   "#      "  #  ´µ  )   &      ,!           ?       *     /    $  %     " #                  $                                $    "#    " "## 67   6  )    "#  $         +     %       ,!      7   +                 8       6  +2 3               %     4   @!   8 *                           " # %   $    - .    Æ " #     6 Æ " # 7   ' " " 3 # " ##



  

·  



   6  +2 3    

       

  "

 

)  " #

  

"##  "#

         

   !                   



 "# 7   "

"##





95

" ' '" 





4 !#                  "#   "# 7     ;    %   "#    "#       ) 8 Æ  )       "   )  "  Æ " # &   $  %    " (! #   ""#  "#  "  Æ " # 1         "#         )  " #          !!#    $   @  0,A!    # ##    ', 8 (!     4B   /      !#            )  " # $# +  !!#         8 *            6 +2 +2  "# 7     +      )  "# 7         7 )   " "## 7  "#      7 )   ")# 7    ")# 7 ) 3 "







        

+        C  D   *    $  %    " # $  %                   *       ,!         7   8               6  +2 3             $  %         "#  " # 7 "% #  " # %    &             $  %        % !    "% #   % "# " # 4                   6  0     

              "#     )    " # 6     ) 4   E!         

 "  #            "         #   % !  ' 0           )    " # "   67  # 4  "A!#            

       $                  "#     ) 7 3  % ! 0    %   "% # 6 %  %   )

;& &  & % 

4         





 



9
         7 +2  " # 6   )  )       $  %

  6  +2 3          

  

 &        %  

      







7 +2



 ) 

 "#  )   



  

7  

    



!# 8            "#  )         ) &   7 )   %          )    7 3  "   +=#        )      !!#   '   "  #  "# &             " #  "#     ) % !!#                  "# )  %  "     # %      !    "% #   % "# " #! &               "#  " #      % %?  !%     "#  "?%#  "% # +              ""#  "?%#  " !% %?!  %?                  $    "?%#      *    %? " @! # >        "? % #  "#   &   %?  )   &   "?%#  ) +    %?  %?  )         ) % " #  "? % #         5   "E!#              

                      6 !  ' 0      " # 6 "    #  ) 7 '  ' 0      " # 6 "    #  ) "   67  # 8                  ' "



;& &  & % 

    $  6  +2 3     

9=

  

   

        %  &   

    

   



 ) 

)      



!#  !!# &  "# 7  "#  )      8               "    #         )     '  0     " # "    #  ) "   67  # &   7 )             !#         " #  " #  '  0 >          

   )      ' !!#   " #  " #             67   ;          !!#  !#         ' "!!!#  !##           )       $        "





+   .  " E! #     %     $  % -    9 ( !#   ' !#             .   6   .         )  " # %    





   

     

   ,!               /        =             % "  7  )#        *             $  %               $  %           , 8     $                    6     "# 7  "#      +             ( Æ   6  +2           ( 6 +2 +2         ( Æ         5              $  %    6  +2              6 "##         

9

" ' '" 





"$#   

67    6 "# 7                8   .    "##      6 "# # 4    " #     6 "  # 7 

          "$#  $    "$ #    )*!     ;  "##      !                 +           *   $        J         %    J              )          J 7    6     "#  ) 6     ) 7 " #  "#       %                                       ) % )*!

8               7    6     "#  ) 6     ) 7 " #  "# "!# 8     J   6 &     J          "#  ) 7  "#  )         ) "@# +    $  "@#       '     " #  "# +     $     "@#   % $  "  #              )     += +   "  #   "#                 " #   "# "!!# 5       J 6 8      .  #  "#   "#                %        "#       "# - 6   )*!  "



;& &  & % 

99

 +          )*!        "# #

               "#         %              )                 " #  "#     ! &     "#   % J   7 )*!       J   ) "A# >   "# 7  "J # 7   "E# >             "#    "A#   "J #  "# 9.     ! "# "J # &        %   )     "#   " # "I#          " #      !) '       " # 7  "')#    7  J 3 "' #" : "   "# &  ! " # 7   "$#     %     ?   "#     ? 7 J 3 "' #? 

6  "? #   "J # 7  " # "''# .  "')#             "% #  "?# 

%  !? J!              K   %  !? J!    " #         % ?   "?#  )    ?  J ?  )         "J #  "?#             "E#    $  %     "? # 7 "J #         "''# ;   "#   "#      .  /  "#  "#      5         &        %        "#            "#      %       " #       "#  " #  "# -  '6       " #    +            % %J    "J%#  "#   "J % #   "# +   " #  "#    . %J 7  >    "# 7 " #

  .    "# #   % $       " #      &        " #  "#        %J 7    Æ    =       "   #      " #   ;    % %J   "J% #  )    %J   %J  )

6

" ' '" 





                "J%# "#      -  0    " #     +       "# 7 " # 7   5       

    +     "$#   % &    )    )*!  + 7 "   6 &  "  7 )  &   " #  )             "#  " #      - $                -   +  7 +2           $             J "# 7  J "# 7   J "# 7  & " &  +2# 4 %          2 . '      J  '  $                           -           "# 7 

 "# 7  % 0 =                  J  "    %  # 0 +       $  %     .      3 +                ,                   5                          %   0 &          = ; K    $       %    '                        L2     M214L1+ - IE((E'   

! 

6"                      %   && &  ;4 >&+ 69" 5"       !   ;& && &  

&  ? &  

 &       ! " #  .6999/ 9="