☰
微分概念解析:从数学基础到工程应用
2026/11/2 8:04:11 网站建设 项目流程

1. 微分概念的本质理解

微分这个数学概念最初源于17世纪牛顿和莱布尼茨对运动问题的研究。当时他们面临的核心问题是:如何精确描述物体在某一瞬间的运动状态?比如,我们想知道子弹飞出枪口那一刹那的速度,或者火箭升空时某个特定时刻的加速度。

关键认知:微分本质上是一种"以直代曲"的数学思想——在极小的范围内用直线近似代替曲线。

我在教学实践中发现,很多初学者容易把微分(differential)和导数(derivative)混为一谈。其实微分dx表示的是自变量x的微小变化量,而dy=f'(x)dx则表示因变量y相应的变化量。举个生活中的例子:

假设我们用温度计测量室外温度变化,当时间变化Δt=1分钟时,温度变化ΔT=0.5℃。这里的Δt和ΔT就是有限的变化量。而微分dt和dT则表示当时间变化趋于0时的极限情况。

1.1 微分的严格数学定义

设函数y=f(x)在点x0的某个邻域内有定义,当自变量x在x0处有增量Δx时,如果函数的增量Δy可以表示为: Δy = AΔx + o(Δx) 其中A是不依赖于Δx的常数,o(Δx)是比Δx高阶的无穷小,则称函数f(x)在点x0处可微,AΔx称为函数在x0处的微分,记作dy=AΔx。

这个定义中有几个关键点需要注意:

  1. 线性主部AΔx:这是微分的主要部分,表示变化量的线性近似
  2. 高阶无穷小项o(Δx):表示近似误差,当Δx→0时这个误差比Δx更快趋于0
  3. 可微与可导的关系:实际上A=f'(x0),这就是微分与导数的联系

1.2 微分在工程中的应用实例

在自动控制系统中,我们经常需要对系统进行线性化处理。以倒立摆控制系统为例:

设摆的角度为θ,其非线性运动方程为: ml²θ'' + mglsinθ = u

在平衡点θ=0附近进行线性化时,我们用微分近似: sinθ ≈ θ (因为d(sinθ)=cosθ dθ,在θ=0处cos0=1) 这样就得到了线性化的方程: ml²θ'' + mglθ = u

这种"微分化"的处理使得复杂的非线性系统可以在工作点附近用线性系统来近似,大大简化了控制器设计。

2. 导数与微分的关系剖析

2.1 从变化率到微分形式

导数描述的是函数在某点的瞬时变化率,即: f'(x) = lim(Δx→0) Δy/Δx

而微分则给出了当x有微小变化dx时,y的实际变化量dy的表达式: dy = f'(x)dx

这个关系式揭示了导数实际上是微分之商——这也是为什么导数有时被称为"微商"。在实际计算中,我们经常这样操作:

求函数y=x³的微分: dy = d(x³) = 3x² dx

这里3x²就是导数,dx是自变量的微分,dy是因变量的微分。

2.2 几何意义的对比理解

从几何角度看:

  • 导数是曲线在某点处切线的斜率
  • 微分则是当x变化dx时,切线纵坐标的变化量

图示说明:

曲线y=f(x) 在点(x0,y0)处: 切线方程:y-y0=f'(x0)(x-x0) 微分dy = f'(x0)dx 表示沿切线的纵向变化

这个几何解释清楚地展示了为什么微分可以作为函数增量的良好近似——在非常靠近(x0,y0)的点,曲线几乎与切线重合。

2.3 常见函数的微分计算技巧

  1. 基本初等函数的微分:

    • d(x^n) = nx^(n-1)dx
    • d(sinx) = cosx dx
    • d(e^x) = e^x dx
    • d(lnx) = (1/x)dx
  2. 微分运算法则:

    • d(u±v) = du ± dv
    • d(uv) = v du + u dv
    • d(u/v) = (v du - u dv)/v²
  3. 复合函数的微分(微分形式不变性): 设y=f(u), u=g(x),则: dy = f'(u)du = f'(g(x))g'(x)dx

这个性质在实际计算中非常有用,它意味着无论u是自变量还是中间变量,微分形式dy=f'(u)du都成立。

3. 高阶微分与泰勒展开

3.1 二阶微分的概念与应用

二阶微分是对微分再取微分,记作d²y: d²y = d(dy) = f''(x)(dx)²

在物理中,二阶微分经常出现在振动系统的方程中。例如弹簧-质量系统的运动方程: m d²x/dt² + kx = 0

这里d²x/dt²就是位移x对时间t的二阶导数,也就是加速度。

注意:高阶微分在数值计算中需要谨慎处理,因为(dx)²在实际计算中可能引发数值稳定性问题。

3.2 泰勒展开中的微分体现

泰勒公式展示了如何用各阶微分在一点附近近似函数: f(x) ≈ f(a) + f'(a)(x-a) + f''(a)(x-a)²/2! + ... + f^(n)(a)(x-a)^n/n!

这个公式本质上是将函数在某点附近用各阶微分信息进行多项式逼近。在实际工程计算中,我们常常取前几项:

  • 一阶近似(线性近似):f(x) ≈ f(a) + f'(a)(x-a)
  • 二阶近似(二次近似):f(x) ≈ f(a) + f'(a)(x-a) + f''(a)(x-a)²/2

例如在计算机图形学中,曲面渲染经常使用二阶近似来平衡计算精度和性能。

4. 微分在机器学习中的应用

4.1 梯度下降算法中的微分

机器学习中最著名的优化算法——梯度下降,其核心就是微分的应用。参数更新公式: θ = θ - η∇J(θ)

其中∇J(θ)就是损失函数J对参数θ的梯度(多元导数),η是学习率。从微分角度看:

dJ = ∇J(θ)·dθ 我们希望通过调整dθ使得dJ为负,从而减小损失函数。

在实际实现时,我们通常使用小批量数据的梯度估计: θ = θ - η(1/m)Σ∇J(θ;x^(i),y^(i))

4.2 自动微分技术

现代深度学习框架如TensorFlow、PyTorch都实现了自动微分功能。其基本原理是基于计算图和链式法则:

  1. 前向传播时记录计算图
  2. 反向传播时自动计算梯度

以简单的y=wx+b为例:

计算图: w → × → + x → × ↑ + → y b → +

反向传播时,框架会自动计算∂y/∂w=x,∂y/∂b=1等梯度信息。

4.3 微分在神经网络中的流动

在多层神经网络中,微分通过反向传播算法从输出层流向输入层。以两层网络为例:

  1. 前向计算: z¹ = W¹x + b¹ a¹ = σ(z¹) z² = W²a¹ + b² a² = σ(z²)

  2. 反向传播微分: dL/dz² = dL/da² * da²/dz² dL/dW² = dL/dz² * dz²/dW² = dL/dz² a¹ᵀ dL/dz¹ = dL/dz² * dz²/da¹ * da¹/dz¹ = W²ᵀ dL/dz² ⊙ σ'(z¹)

这种微分在神经网络中的流动使得训练深层模型成为可能。

5. 数值微分与符号微分

5.1 数值微分实现方法

当解析导数难以获得时,我们可以用数值方法近似计算微分。常见方法:

  1. 前向差分: f'(x) ≈ [f(x+h)-f(x)]/h

  2. 中心差分(更精确): f'(x) ≈ [f(x+h)-f(x-h)]/(2h)

在实际编程实现时,需要注意:

  • h的选择:太小会引入舍入误差,太大会增加截断误差
  • 通常取h≈√ε,其中ε是机器精度

Python示例:

def numerical_derivative(f, x, h=1e-5): return (f(x+h) - f(x-h)) / (2*h)

5.2 符号微分实现原理

符号微分通过解析表达式得到精确的导数表达式。实现方式:

  1. 表达式解析:将数学表达式转换为语法树
  2. 应用微分规则:对语法树应用微分的各种规则
  3. 表达式简化:对结果进行代数化简

现代计算机代数系统如SymPy实现了完整的符号微分功能:

from sympy import symbols, diff x = symbols('x') expr = x**3 + 2*x + 1 deriv = diff(expr, x) # 返回3*x**2 + 2

5.3 两种方法的比较

特性数值微分符号微分
精度近似解,有误差精确解
计算成本每次计算需调用函数一次推导多次使用
实现复杂度简单复杂
适用场景黑盒函数已知数学表达式

在工程实践中,我们常常需要根据具体情况选择合适的方法,有时甚至会混合使用两种方法。

6. 微分方程的建立与求解

6.1 微分方程建模实例

微分方程是描述动态系统的重要工具。以种群增长模型为例:

  1. 马尔萨斯模型(指数增长): dP/dt = kP 解:P(t)=P₀e^(kt)

  2. 逻辑斯谛模型(考虑资源限制): dP/dt = kP(1-P/K) 其中K为环境承载力

在传染病建模中,著名的SIR模型也是一个微分方程组:

dS/dt = -βSI dI/dt = βSI - γI dR/dt = γI

6.2 常用解法技巧

  1. 分离变量法: 适用于形如dy/dx = f(x)g(y)的方程 解法:∫(1/g(y))dy = ∫f(x)dx

  2. 积分因子法: 对于一阶线性方程dy/dx + P(x)y = Q(x) 积分因子μ(x) = e^∫P(x)dx 解:y = (∫μQdx + C)/μ

  3. 数值解法:

    • 欧拉方法:y_{n+1} = y_n + hf(x_n,y_n)
    • 龙格-库塔方法(更精确)

Python中使用SciPy求解微分方程:

from scipy.integrate import solve_ivp def model(t, y): dydt = -0.5 * y return dydt solution = solve_ivp(model, [0, 10], [5], t_eval=np.linspace(0,10,100))

6.3 稳定性分析

对于微分方程描述的动态系统,我们常关心其平衡点的稳定性。分析方法:

  1. 线性化方法: 在平衡点附近对系统进行线性近似 分析特征值的实部符号

  2. Lyapunov直接法: 构造Lyapunov函数V(x) 通过dV/dt的符号判断稳定性

例如对于系统dx/dt = -x³:

  • 平衡点x=0
  • 取Lyapunov函数V=x²
  • dV/dt = 2x(-x³) = -2x⁴ ≤ 0
  • 故系统在x=0处稳定

7. 多元函数微分学

7.1 偏导数与全微分

对于多元函数f(x₁,x₂,...,xₙ),其全微分为: df = (∂f/∂x₁)dx₁ + (∂f/∂x₂)dx₂ + ... + (∂f/∂xₙ)dxₙ

其中∂f/∂xᵢ称为偏导数,表示固定其他变量时f对xᵢ的变化率。

在实际应用中,比如在热力学中,状态函数的内能U(S,V)的微分表示为: dU = (∂U/∂S)_V dS + (∂U/∂V)_S dV = T dS - p dV

7.2 方向导数与梯度

方向导数表示函数在某方向上的变化率: D_v f = ∇f · v 其中∇f=(∂f/∂x,∂f/∂y,∂f/∂z)是梯度向量

梯度有以下重要性质:

  1. 方向导数在梯度方向取得最大值
  2. 梯度方向是函数增长最快的方向
  3. 梯度垂直于等高线

在机器学习中,梯度下降算法正是沿着负梯度方向更新参数,以最快速度减小损失函数。

7.3 微分在优化问题中的应用

考虑带约束的优化问题: min f(x) s.t. g(x)=0

使用拉格朗日乘子法,构造拉格朗日函数: L(x,λ) = f(x) - λg(x)

最优解满足: ∇L = 0 ⇒ ∇f = λ∇g g(x)=0

这个条件表明在最优解处,目标函数的梯度与约束条件的梯度平行。

在实际应用中,我们经常使用KKT条件来处理更一般的约束优化问题,这是拉格朗日乘子法的推广。

8. 微分几何初步

8.1 曲线与曲面的微分描述

在微分几何中,曲线可以用参数方程表示: r(t) = (x(t), y(t), z(t))

曲线的切向量为: r'(t) = (x'(t), y'(t), z'(t))

曲面的参数表示为: r(u,v) = (x(u,v), y(u,v), z(u,v))

曲面的切平面由两个偏导数向量张成: r_u = ∂r/∂u r_v = ∂r/∂v

8.2 第一基本形式

曲面的第一基本形式定义了曲面上的内积: I = Edu² + 2Fdudv + Gdv² 其中: E = r_u·r_u F = r_u·r_v G = r_v·r_v

第一基本形式完全描述了曲面上的度量性质,可以计算曲线长度、角度、面积等。

例如,曲面上曲线的长度: L = ∫√(Eu'² + 2Fu'v' + Gv'²) dt

8.3 曲率的概念与计算

曲率是描述曲线或曲面弯曲程度的量。对于平面曲线:

曲率κ = |r'×r''|/|r'|³

对于曲面,有多个曲率概念:

  1. 法曲率:曲面在某方向的弯曲程度
  2. 主曲率:法曲率的最大值和最小值
  3. 高斯曲率:主曲率的乘积
  4. 平均曲率:主曲率的平均

在计算机图形学中,曲率计算常用于曲面分析、特征提取等任务。

9. 微分形式与外微分

9.1 微分形式的概念

微分形式是多重线性反对称张量场,是现代微分几何的重要工具。常见的有:

  1. 0-形式:标量函数f
  2. 1-形式:线性泛函,如df
  3. 2-形式:可以作面积分的对象,如dx∧dy

在R³中,微分形式与向量场有对应关系: 0-形式 ↔ 标量场 1-形式 ↔ 向量场 2-形式 ↔ 向量场(通过Hodge对偶) 3-形式 ↔ 标量场

9.2 外微分运算

外微分d是将k-形式映射到(k+1)-形式的算子,满足:

  1. d(df)=0
  2. d(α∧β)=dα∧β + (-1)^p α∧dβ (α是p-形式)

在R³中,外微分对应着各种微分算子:

  • 标量场f的微分df ↔ 梯度∇f
  • 1-形式ω=Adx+Bdy+Cdz的外微分dω ↔ 旋度∇×F
  • 2-形式ω=Pdy∧dz+Qdz∧dx+Rdx∧dy的外微分dω ↔ 散度∇·F

9.3 斯托克斯定理的现代表述

经典的斯托克斯定理可以统一表述为: ∫_M dω = ∫_∂M ω

其中M是带边界的流形,ω是微分形式。这个简洁的公式包含了:

  • 牛顿-莱布尼茨公式
  • 格林公式
  • 经典斯托克斯公式
  • 高斯散度定理

这种统一表述展示了微分形式的强大抽象能力,也是现代微分几何的核心工具之一。

10. 微分在物理中的应用案例

10.1 运动学中的微分关系

在经典力学中,位移、速度、加速度之间通过微分联系: v(t) = dr/dt a(t) = dv/dt = d²r/dt²

对于圆周运动,位置向量可以表示为: r(t) = R(cosθ(t), sinθ(t))

则速度为: v(t) = R(-sinθ dθ/dt, cosθ dθ/dt) = Rω(-sinθ, cosθ)

加速度为: a(t) = R[ω²(-cosθ, -sinθ) + α(-sinθ, cosθ)] 其中α=dω/dt是角加速度

10.2 热传导方程

热传导过程可以用偏微分方程描述: ∂u/∂t = α∇²u

其中:

  • u(x,y,z,t)是温度分布
  • α是热扩散率
  • ∇²是拉普拉斯算子

这个抛物型偏微分方程描述了热量从高温区域向低温区域的扩散过程。

10.3 薛定谔方程

量子力学的基本方程——薛定谔方程也是一个微分方程: iħ ∂ψ/∂t = Ĥψ

其中:

  • ψ是波函数
  • Ĥ是哈密顿算符
  • ħ是约化普朗克常数

这个方程描述了量子系统随时间的演化,其解给出了系统的量子态随时间的变化规律。

11. 微分在经济学中的应用

11.1 边际分析

经济学中的边际概念本质上是导数:

  • 边际成本:MC = dC/dq
  • 边际收益:MR = dR/dq
  • 边际效用:MU = dU/dx

企业利润最大化条件: MR = MC

这是因为利润π=R-C,最大化条件为dπ/dq=0 ⇒ MR-MC=0

11.2 弹性概念

弹性衡量一个变量对另一个变量变化的敏感程度: 价格弹性 = (dQ/Q)/(dP/P) = (P/Q)(dQ/dP)

根据弹性大小,商品可以分为:

  • 弹性大(|E|>1):需求量变化比例大于价格变化
  • 单位弹性(|E|=1)
  • 弹性小(|E|<1):需求量变化比例小于价格变化

11.3 最优化问题

消费者效用最大化问题: max U(x,y) s.t. p₁x + p₂y = I

使用拉格朗日乘子法,建立拉格朗日函数: L = U(x,y) - λ(p₁x + p₂y - I)

最优解满足: ∂L/∂x = ∂U/∂x - λp₁ = 0 ∂L/∂y = ∂U/∂y - λp₂ = 0 ∂L/∂λ = p₁x + p₂y - I = 0

这意味着在最优消费组合处,边际效用之比等于价格之比: (∂U/∂x)/(∂U/∂y) = p₁/p₂

12. 微分概念的现代发展

12.1 非标准分析中的微分

非标准分析由Abraham Robinson创立,它严格化了莱布尼茨的"无穷小"概念。在非标准分析中:

微分df(x) = f'(x)dx,其中dx是无穷小量

函数f在x处可导当且仅当对任意非零无穷小dx,差分商(f(x+dx)-f(x))/dx与标准实数无限接近(即相差无穷小)

这种方法更直观地体现了微分的"无穷小"本质,在某些领域如数学物理中有应用。

12.2 分数阶微分

传统微分是整数阶的(一阶、二阶等),而分数阶微分将微分阶数推广到实数甚至复数。定义方式有多种:

  1. Riemann-Liouville定义: D^α f(t) = (d^n/dt^n) [1/Γ(n-α) ∫(t-τ)^(n-α-1) f(τ) dτ] 其中n-1<α<n

  2. Caputo定义: D^α f(t) = 1/Γ(n-α) ∫(t-τ)^(n-α-1) f^(n)(τ) dτ

分数阶微分在描述记忆性、遗传性现象中有广泛应用,如粘弹性材料、异常扩散等。

12.3 微分代数

微分代数是研究微分方程代数性质的数学分支,主要工具包括:

  1. 微分环:带有微分算子∂的环,满足∂(a+b)=∂a+∂b和∂(ab)=a∂b + b∂a
  2. 微分域:带有微分算子的域
  3. 微分理想:在微分运算下封闭的理想

微分代数的一个重要应用是微分方程的符号求解,特别是判断微分方程是否有初等函数解。

13. 微分概念的常见误区与澄清

13.1 微分与导数的混淆

常见错误认识:

  • 认为微分和导数是完全相同的概念
  • 忽略微分dx的独立性
  • 在多元情况下混淆偏导数和全微分

正确理解:

  • 导数是变化率,是一个比值
  • 微分是变化量,是一个增量
  • 在单变量情况下关系简单:dy=f'(x)dx
  • 多元情况下全微分涉及所有变量的微分

13.2 "无穷小"概念的理解

历史发展中的困惑:

  • 牛顿的"流数"、莱布尼茨的"无穷小"缺乏严格定义
  • 贝克莱主教批评无穷小是"消失的量"
  • 19世纪柯西、魏尔斯特拉斯等人用极限理论严格化

现代观点:

  • 标准分析中,无穷小是极限过程的一种表述
  • 非标准分析中,无穷小作为超实数系的元素有严格定义
  • 在实际应用中,微分可以理解为足够小的有限差分

13.3 微分符号的滥用问题

常见不规范使用:

  1. 将dy/dx视为普通分数随意拆分
  2. 忽略高阶微分中(dx)²与dx²的区别
  3. 偏导数符号∂滥用(如∂f/∂x与df/dx混用)

规范建议:

  1. 明确微分的整体性,仅在合适场合(如微分方程分离变量)拆分
  2. 高阶微分记作d²y,不写作(dy)²
  3. 严格区分偏导(∂)和常导(d)

14. 微分计算的高级技巧

14.1 隐函数微分法

当函数关系以F(x,y)=0给出时,可以使用隐函数微分法求dy/dx:

  1. 对方程两边求微分: dF = (∂F/∂x)dx + (∂F/∂y)dy = 0
  2. 解出dy/dx: dy/dx = - (∂F/∂x)/(∂F/∂y)

例如,对于圆的方程x²+y²=r²: d(x²+y²)=d(r²) ⇒ 2xdx + 2ydy = 0 ⇒ dy/dx = -x/y

14.2 参数方程微分法

对于参数方程: x = x(t) y = y(t)

导数计算为: dy/dx = (dy/dt)/(dx/dt)

二阶导数: d²y/dx² = [d(dy/dx)/dt]/(dx/dt)

例如,摆线的参数方程: x = a(t-sint) y = a(1-cost)

则: dx/dt = a(1-cost) dy/dt = a sint dy/dx = sint/(1-cost) = cot(t/2)

14.3 对数微分法

适用于由多个因子相乘除或幂指函数的情况,步骤:

  1. 取自然对数:ln y = ln f(x)
  2. 对两边微分:(1/y)dy/dx = d[ln f(x)]/dx
  3. 解出dy/dx

例如,求y = x^x的导数: ln y = x ln x (1/y)dy/dx = ln x + 1 dy/dx = x^x (ln x + 1)

15. 微分在实际工程中的综合应用

15.1 控制系统中的微分应用

PID控制器是最典型的微分应用: u(t) = K_p e(t) + K_i ∫e(t)dt + K_d de(t)/dt

其中微分项K_d de(t)/dt的作用:

  • 预测误差变化趋势
  • 抑制超调
  • 提高系统响应速度

实际实现时需要注意:

  • 直接微分会放大噪声,通常需要加低通滤波
  • 微分增益K_d需要仔细调节,过大会导致系统不稳定

15.2 结构分析中的微分方程

梁的弯曲微分方程: EI d⁴w/dx⁴ = q(x)

其中:

  • w(x)是挠度
  • EI是抗弯刚度
  • q(x)是分布载荷

解这个四阶微分方程可以得到梁的变形和内力分布,是结构设计的基础。

15.3 电路分析中的微分方程

RLC电路可以用二阶微分方程描述: L d²q/dt² + R dq/dt + q/C = V(t)

其中:

  • q(t)是电荷
  • L是电感
  • R是电阻
  • C是电容

这个方程描述了电路的瞬态响应,解的形式取决于电路参数,可能出现:

  • 过阻尼
  • 临界阻尼
  • 欠阻尼振荡

16. 微分概念的数学严格化历程

16.1 极限理论的建立

柯西(1789-1857)给出了导数的严格定义: f'(x) = lim_{h→0} [f(x+h)-f(x)]/h

魏尔斯特拉斯(1815-1897)进一步提出了ε-δ语言,彻底严格化了极限概念:

f在x处导数为L,如果: ∀ε>0, ∃δ>0, 当0<|h|<δ时,|(f(x+h)-f(x))/h - L|<ε

16.2 微分形式的现代定义

现代数学中,微分被定义为余切向量或微分形式。对于光滑流形M上的函数f:

微分df是余切丛T*M的截面,在点p∈M处: df_p : T_pM → R 是一个线性泛函,满足: df_p(v) = v(f) = lim_{t→0} [f(γ(t))-f(p)]/t 其中γ(t)是满足γ(0)=p, γ'(0)=v的曲线

16.3 非光滑分析的扩展

对于非光滑函数(如凸函数、Lipschitz函数),经典的微分概念需要扩展:

  1. 次微分(subdifferential): 对于凸函数f在x处的次微分: ∂f(x) = {p | f(y) ≥ f(x) + p·(y-x), ∀y}

  2. Clarke广义梯度: 对于Lipschitz函数,定义广义梯度为次微分的闭凸包

这些扩展使得微分概念可以应用于更广泛的函数类,在优化理论和非光滑分析中有重要作用。

17. 微分概念的哲学思考

17.1 连续与离散的统一

微分概念体现了连续与离散的对立统一:

  • 微观上是离散的差分Δy/Δx
  • 宏观上是连续的极限过程dy/dx
  • 数值计算中又回到离散近似

这种辩证关系在数学的其他领域也普遍存在,如积分与求和、微分方程与差分方程等。

17.2 近似与精确的辩证关系

微分方法的核心思想:

  1. 在局部用简单的线性对象近似复杂的非线性对象
  2. 通过极限过程使近似达到任意精度
  3. 将局部信息整合为全局解(如解微分方程)

这种"以简驭繁"的思想是数学物理中的强大工具,也是人类认识复杂世界的基本方法之一。

17.3 确定性微分与随机微分

传统微分方程描述确定性过程,而随机微分方程引入了随机性:

dX_t = μ(X_t,t)dt + σ(X_t,t)dW_t

其中W_t是维纳过程(布朗运动)。这种扩展使得微分工具可以应用于金融、统计物理等随机过程领域,体现了数学工具的适应性和扩展性。

需要专业的网站建设服务?

联系我们获取免费的网站建设咨询和方案报价,让我们帮助您实现业务目标

立即咨询