她是没法服务了。
看着谢永松，她的眼神有些复杂。
果然老话说得对，打败自己的从来都不是同行，而是跨界。
……
吃完午饭后，两人把小会议室门一关，便顺着上午的思路讨论了起来。
林枫先开口了：
“谢老师，您上午给我说完后，我现在想的就是先构造一个抽象模型，把这个问题先写成一般边值问题。”
他说着，同时在纸上写着：
【设L[u]=f，u∈D，边界约束B={B₁，B₂，…}】
【若B中存在未声明约束β，则传统推导中固定D导致Rₖ作用域失配】
写完，他停了下来。
“谢老师，您看这里要不要把β定义成缺省边界的元？”
谢永松立马回道：
“当然要，但不能只去定义β，还要定义它的影响范围。”
林枫一怔。
“影响范围？”
谢永松把草稿纸拿了过去，在下面写到：
【supp(β)→Ωβ】
“你看，如果缺省项只是影响一个端点，那它只能算是你第一篇论文的延伸。”
“但现在你要做的是全域，你就必须证明，β不是只是在端点起作用。”
“它通过推导规则R，传递到后续定义域，所以要有传播域。”
林枫听到这，皱眉思考着。
他之前已经想到了D₀到Dₙ的迭代，但没有把β的传播域单独拿出来，如果加上Ωβ，后面的证明会顺畅很多。
想着，他立马在纸上写到：
【定义1：边界缺省元β】
【定义2：β-传播域Ωβ】
【定义3：迭代域序列{Dₖ}】
【定义4：真实迭代域序列{Dₖ*}】
写完，他又补了一行：
【若存在k，使Dₖ≠Dₖ*，则称推导Π在第k步发生域偏移】
……
时间过得很快，一直到晚上十点闭馆，两人这才停了下来。
正如之前林枫所想，有了谢永松的帮助，他的速度确实快了不少。
今天早上还只是刚有方向，现在基本上课题大致框架，以及一些大方向的证明都可以写出来了，论文进度至少来到30%。
中午那会儿他给谢永松说就这两天，只是估计说的，但在对方帮助后，
…。。