Higher-Order Partial Differentiation

被引：1

作者：

Endou, Noboru ^{[1
]}

Okazaki, Hiroyuki ^{[2
]}

Shidama, Yasunari ^{[2
]}

机构：

[1] Nagano Natl Coll Technol, Nagano, Japan

[2] Shinshu Univ, Nagano, Japan

来源：

FORMALIZED MATHEMATICS | 2012年 / 20卷 / 02期

关键词：

D O I：

10.2478/v10037-012-0015-z

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

In this article, we shall extend the formalization of [10] to discuss higher-order partial differentiation of real valued functions. The linearity of this operator is also proved (refer to [10], [12] and [13] for partial differentiation).

引用

页码：113 / 124

页数：12

共 50 条

[31] Oscillation of higher-order neutral partial functional differential equations
Li, WN
Debnath, L
APPLIED MATHEMATICS LETTERS, 2003, 16 (04) : 525 - 530
[32] GENERALIZATION FROM PARTIAL PARAMETRIZATION IN HIGHER-ORDER TYPE THEORY
HAGIYA, M
THEORETICAL COMPUTER SCIENCE, 1989, 63 (02) : 113 - 139
[33] Higher-order stochastic partial differential equations with branching noises
Bo, Lijun
Wang, Yongjin
Yan, Liqing
FRONTIERS OF MATHEMATICS IN CHINA, 2008, 3 (01) : 15 - 35
[34] Partial and Nested Recursive Function Definitions in Higher-order Logic
Krauss, Alexander
JOURNAL OF AUTOMATED REASONING, 2010, 44 (04) : 303 - 336
[35] ON A CLASS OF MIXED PARTIAL-DIFFERENTIAL EQUATIONS OF HIGHER-ORDER
GU, CH
CHINESE ANNALS OF MATHEMATICS SERIES B, 1982, 3 (04): : 503 - 514
[36] On Ostrowski-Type Inequalities for Higher-Order Partial Derivatives
Zhao Changjian
Wing-Sum Cheung
Journal of Inequalities and Applications, 2010
[37] A CONSISTENT HIGHER-ORDER THEORY WITHOUT A (HIGHER-ORDER) MODEL
FORSTER, T
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1989, 35 (05): : 385 - 386
[38] CALCULATION OF HIGHER-ORDER SENSITIVITIES AND HIGHER-ORDER SENSITIVITY INVARIANTS
GEHER, K
SOLYMOSI, J
PERIODICA POLYTECHNICA-ELECTRICAL ENGINEERING, 1972, 16 (03): : 325 - 330
[39] Comparative higher-order risk aversion and higher-order prudence
Wong, Kit Pong
ECONOMICS LETTERS, 2018, 169 : 38 - 42
[40] Higher-order symmetric duality with higher-order generalized invexity
Padhan S.K.
Nahak C.
Journal of Applied Mathematics and Computing, 2015, 48 (1-2) : 407 - 420

← 1 2 3 4 5 →