FunctionDomain

FunctionDomain[f,x]

求变量为的 x 的实函数 f 的最大定义域.

FunctionDomain[f,x,dom]

考虑 f 为变量和值在定义域 dom 上的函数.

FunctionDomain[funs,vars,dom]

求变量为 vars 的映射 funs 的最大定义域.

FunctionDomain[{funs,cons},vars,dom]

funs 的定义域,其中 vars 的值被约束 cons 限定.

更多信息和选项

  • funs 应该是变量为 vars 的函数列表.
  • dom 的可能值为 RealsComplexes. 默认为 Reals.
  • 如果 domReals,则所有变量、参数、常数和函数值都被限定在实数范围内.
  • cons 可以含有方程、不等式或者它们的逻辑组合.
  • 可以给出下列选项:
  • GeneratedParameters C如何对生成的参数命名
    Method Automatic应该使用什么方法
    WorkingPrecisionAutomatic计算所用的精确度

范例

打开所有单元关闭所有单元

基本范例  (2)

求一个实函数的最大定义域:

复函数的最大定义域:

范围  (4)

单变量实函数:

定义域受约束限制:

单变量复函数:

多变量实函数:

多变量复函数:

选项  (2)

GeneratedParameters  (1)

FunctionDomain 可能会引入表示定义域的新参数:

使用 GeneratedParameters 控制参数的生成方式:

Method  (1)

默认情况下,单变量实函数的定义域以简化形式给出:

其他函数的定义域不简化:

使用 Method 指定定义域是否以简化形式给出:

应用  (13)

基本应用  (6)

计算 的实定义域:

函数的虚部在实域上为零:

计算 的实定义域:

定义域的补集是半径为 3 以 为中心的开圆盘:

在实定义域之外,函数可能是复函数、奇异函数或未定义:

在实定义域之外,函数是复值:

负整数不在 TemplateBox[{{x, -, 1}}, AlternatingFactorial] 的定义域中:

该函数在负整数处具有极点奇异性:

TemplateBox[{3, 2, x}, EllipticTheta] 在其实定义域外无定义:

计算 的复定义域:

在定义域外的点处具有极点奇异性:

计算 的复定义域:

在零点处有一个本质奇点:

计算 TemplateBox[{1, 2, x}, EllipticTheta] 的复定义域:

TemplateBox[{1, 2, x}, EllipticTheta] 在定义域外无定义:

求解方程和最优化  (2)

在实数上求解

解必须属于 的实定义域

的绘图显示有一个解:

Solve 自动使用定义域信息并进行求解:

TemplateBox[{6, {-, 1}, x}, LegendreP3] 的全局最小值:

最小值必须属于 的实定义域:

在实定义域内部的根:

选择使得 值最小的根:

检查 处的 值是否小于定义域端点处的 值:

可视化结果:

Minimize 自动使用定义域信息并求最小值:

微积分  (5)

如果函数在其实定义域中的点上存在极限,则该极限必须为实数或实无穷大:

使用 Limit 验证 TemplateBox[{x}, Gamma] 处沿实方向的极限为实无穷大:

如果实定义域子集上存在积分,则其为实数或实无穷大:

使用 Integrate 计算 的积分:

验证积分确实是实数:

如果函数在其实定义域中的一点存在导数,则该导数是实值:

计算导数:

定义域上的导数确实是实值:

验证 TemplateBox[{x, y}, BesselK] 的实值解析性:

函数必须有定义且为实值才能做实值解析测试:

TemplateBox[{x, y}, BesselK] 在其实数定义域上为实数解析函数:

验证 TemplateBox[{x, 4, 4, 1}, Hypergeometric2F1] 的复值解析性:

函数必须有定义才可以成为复值解析函数:

TemplateBox[{x, 4, 4, 1}, Hypergeometric2F1] 在其定义域上为复数解析函数:

可能存在的问题  (2)

的所有子表达式的值须为实数,该点才属于 的实定义域:

负实数不属于 的实定义域,因为 的值不是实数:

对于所有实的 值是实数:

数学函数的实定义域信息在低维集合中都是准确的:

HankelH1 的值为实数的 空间的全维子集不存在:

下面是 HankelH1 的值为实数的 空间的 1 维子集:

FunctionDomain 无法检测到 的值是实数:

Wolfram Research (2014),FunctionDomain,Wolfram 语言函数,https://reference.wolfram.com/language/ref/FunctionDomain.html.

文本

Wolfram Research (2014),FunctionDomain,Wolfram 语言函数,https://reference.wolfram.com/language/ref/FunctionDomain.html.

CMS

Wolfram 语言. 2014. "FunctionDomain." Wolfram 语言与系统参考资料中心. Wolfram Research. https://reference.wolfram.com/language/ref/FunctionDomain.html.

APA

Wolfram 语言. (2014). FunctionDomain. Wolfram 语言与系统参考资料中心. 追溯自 https://reference.wolfram.com/language/ref/FunctionDomain.html 年

BibTeX

@misc{reference.wolfram_2024_functiondomain, author="Wolfram Research", title="{FunctionDomain}", year="2014", howpublished="\url{https://reference.wolfram.com/language/ref/FunctionDomain.html}", note=[Accessed: 23-November-2024 ]}

BibLaTeX

@online{reference.wolfram_2024_functiondomain, organization={Wolfram Research}, title={FunctionDomain}, year={2014}, url={https://reference.wolfram.com/language/ref/FunctionDomain.html}, note=[Accessed: 23-November-2024 ]}