本终点连接d’Alembert公式、波方程能量估计和Kirchhoff公式。提交的不是一条像波的曲线,而是输入范围、公式、到达时刻、误差对象和失败边界。
任务一:已经安静的探头,为何又读到反射
在半线x>0解
第一份支撑于[1,3],第二份于[3,7];宽度与振幅必须一起计入积分。观察x=9,求完整分段到达窗口及以下时刻的精确值:2、3、7/2、9/2、11/2、6、7、8。解释4≤t≤5期间安静为何不代表此后永久安静。
答案:四个截断原函数保存全部分支
令P为d’Alembert页的截断原函数,
完整答案是
在x=9处,各次变化区间为:
- 0≤t≤1:全部脉冲都未到达,读数为零
- 1<t<3:较远、较宽的负脉冲逐渐进入依赖区间,读数下降至−8/35
- 3<t<4:正脉冲补入,读数回到零
- 4≤t≤5:两份直接贡献的面积抵消,镜像尚未到达
- 5<t<6:第一份脉冲的负镜像进入,读数再次降至−8/35
- 6<t<8:第二份脉冲的正镜像补入,读数回到零
- t≥8:四份支撑都被积分区间包含,奇延拓总积分为零
逐点结果为
这次迁移同时改变脉冲宽度、符号和边界。短时局部读数为零没有删除远处仍在传播的能量;后来的反射仍可回来。
任务二:源项公式与能量预算各自认证什么
先在整线上取c=2、零初位移和速度,源
答案一:过去三角形保留空间传播项
内层积分为
再乘1/4并对s积分,得到
式(3)在空间上是多项式,正时间的全实线能量积分发散;局部公式及有限锥依赖结论仍成立。不能把一份合法经典解塞进未满足的有限能量范数合同。
答案二:完整残差给上界,精确积分作交叉核验
零数据精确解为u=0。候选满足同样初值和边界,但
记
最后的有理上界可用
位移L2预算是另一项:由时间加权残差,
再提交一份“u=0、v=7、能量差零所以解相同”的报告,应拒绝:它没有相同初位移,也不满足这项零Dirichlet边界。能量中的导数不能替初值和边界补证。
任务三:观察点离开中心后,球面只切到一顶帽
三维取c=1、f=0、
答案:由球面面积换成半径积分
对一般观察距离d>0,取球面极轴沿x。若r是球面点到原点的距离,则
在d=2处,上限总大于1,只有|2−t|<1时才有贡献。于是
所以
对非零位移数据,报告还必须带法向导数。例如f(y)=|y|²−1在单位球面全为零,但c=t=1、x=0、g=0时u=2。仅比较球面上的f值不能通过证书检查。
任务四:辨认清零、平台和衰减尾
回到原点,固定c=1、零初位移,分别在1、2、3维放入同一径向初速度
答案:二维尾迹不是舍入误差
一维为16/35,三维为0。二维作
根式存在较大项抵消,复算时先用整数平方比较夹住√3,再对整个线性式向外传递区间,而不是把一个浮点小数当精确值。区间严格包含于(1/16,3/40),与一般尾界
一致。夹逼给
此外,三维初位移改为
复算与提交
下载精确复算程序与结果记录。程序以Fraction核验多脉冲反射窗口、受迫多项式、能量积分、球帽公式及二维根式包含,另拒绝省掉镜像、漏掉波速因子或初值不符的报告。有限取样核验不替代正文中的全域传播和能量证明。
每份提交需明确:使用整线、半线还是高维整空间;初位移/速度/源/边界是否齐全;零值是尚未到达、贡献抵消还是三维波面已经离开;误差界控制哪一个范数。最后将这些合同与具体数值一起交付。