On a Counterexample in Analysis

被引：0
|
作者：
Polovinkin, E. S. [1 ]
机构：
[1] Moscow Inst Phys & Technol, Moscow, Russia
来源：
MATHEMATICAL NOTES | 2014年 / 95卷 / 1-2期
基金：
俄罗斯基础研究基金会;
关键词：
multivalued convex-valued Lipschitz mapping; support function; convex analysis; Cantor function;
D O I：
10.1134/S0001434614010118
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
An example of multivalued convex-valued Lipschitz mapping from R-n into R-m such that, at any point, the support function of this mapping has no mixed derivatives in the sense of Gateaux with respect to the initial and conjugate variables is constructed.
引用
收藏
页码：110 / 114
页数：5
相关论文
共 50 条
  • [1] On a counterexample in analysis
    E. S. Polovinkin
    [J]. Mathematical Notes, 2014, 95 : 110 - 114
  • [2] TOPOLOGICAL MODELS OF INTUITIONISTIC ANALYSIS - ONE COUNTEREXAMPLE
    KROL, MD
    [J]. MATHEMATICAL NOTES, 1976, 19 (5-6) : 503 - 504
  • [3] Debugging of Concurrent Systems Using Counterexample Analysis
    Barbon, Gianluca
    Leroy, Vincent
    Salaun, Gwen
    [J]. FUNDAMENTALS OF SOFTWARE ENGINEERING, FSEN 2017, 2017, 10522 : 20 - 34
  • [4] Debugging of Behavioural Models using Counterexample Analysis
    Barbon, Gianluca
    Leroy, Vincent
    Salaun, Gwen
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2021, 47 (06) : 1184 - 1197
  • [5] Counterexample Guided Abstraction Refinement for Stability Analysis
    Prabhakar, Pavithra
    Soto, Miriam Garcia
    [J]. COMPUTER AIDED VERIFICATION, (CAV 2016), PT I, 2016, 9779 : 495 - 512
  • [6] A Counterexample to A
    Hermes, Charles
    [J]. PHILOSOPHIA, 2014, 42 (02) : 387 - 389
  • [7] COUNTEREXAMPLE
    ARNOLD, J
    BOISEN, MB
    ASCHER, M
    CULL, P
    DRISCOLL, RJ
    ELSNER, L
    HAJEK, O
    JAGERS, AA
    LANTZ, DC
    LAUGWITZ, D
    ODONI, RWK
    STRATTON, AE
    ROBINSON, DW
    SINGLETON, R
    TAYLOR, W
    YOCOM, K
    DIXON, ED
    [J]. AMERICAN MATHEMATICAL MONTHLY, 1979, 86 (04): : 311 - 312
  • [8] A Counterexample to A
    Charles Hermes
    [J]. Philosophia, 2014, 42 : 387 - 389
  • [9] Counting Bugs in Behavioural Models using Counterexample Analysis
    Faqrizal, Irman
    Salaun, Gwen
    [J]. IEEE/ACM 10TH INTERNATIONAL CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING (FORMALISE 2022), 2022, : 12 - 22
  • [10] A faster counterexample minimization algorithm based on refutation analysis
    Shen, SY
    Qin, Y
    Li, SK
    [J]. DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, VOLS 1 AND 2, PROCEEDINGS, 2005, : 672 - 677
12345