Slide 79
Slide 79 text
(MPCBMQPPMJOHඇઢܗιϧόͱͷؔ
AAA2+XiclVtZcxw5cubIx67pa8Z+9AvClHY1DoomNQrZD17H8ibF5n1Kag2jujq7usS6VEAXSdW2/4vfHH71r/Gj/4kTQKEzUV3U2IwQWfg+IHF9icyuhgZFEku1uvrf3z37oz/+kz/91a//bPHP/+Iv/+qvv//hb65kPilDuAzzJC9vBoGEJM7gUsUqgZuihCAdJHA9uNvU/HUFpYzz7EI9FvApDaIsHsVhoBC6/eG7r0L0i2E8GtX9ajKt1VS8VMuiXz38KH7zO9FPAzUOg6Temr5E/kfHLQrxG6rYjzPxcnVZXOCjilOQon+cQhQsY7V+X/+qJi+V+J1YZZbHgTJd3q6+tJimjKmuxh0NCfzmSIqgVHGQWKO3ZkJlWm/FZRyOE1BT6scaHuFMs2CQBLxj/Tsz47RjGKT16vQXF6G76yOYpEGWTZdvv19aXVk1P2L+Ya15WFpofk5uf3gz6g/zcJJCpsIkkPLj2mqhPtW6mzCB6WJ/IqEIwrsggo/4mAU4jE+1UclUvEBkKEZ5if8yJQzKW9RBKuVjOsCaeqSyzWmwkxukXs/1o7YvW6NRo3/+VMdZMVGQhXYwo0kiVC60LMUwLiFUySM+BGEZ43xEOA7KIFQoXs+6iu+++v3pEak8T/wu6yoo7+MhjtlDcU/kXVz4oF0hD3rowHTXr8Ihghnch3mK2zis+9p5ph9ff6r7IxxvPRRLa1P9+/V0KsSLvBzGWVDqiY1GUOLOoSJ8A0XLgtONMUQFtOe3i7NZQ92p+EdhesVO4+yVPhDE/6Fz3BLqnjpGY7xnZtOhT5ucZLGaflxDe8Jp/uPS2iezHJoT97EaC/llEpQgBjjjO1DSNxEoO6AERmpFD6dfxtFY/eG2nl+GISS43i1QTorCjOHn+uXS2o/tNnIyMOzMKXGpW1Uuce3RzS/b+JXFrxB/ITwGLAPz+1SUOc3nX3A+y7iozZz+dc7OVVDa5WvGpsumZb+mpejP97/ttdrubuMv80DaNrrmH9g6TxcXF1/oH3G0fS0O1y/2xNb2zv7R/sX+8dG5MNRi1wGxjH+N+y/rUwFHeBiUd0Kib2O4kSIfiTAo7LM+iUpADZVxFumDYBhXsXTVRnE0KaElCwT1SKc1LnYqXvbweW5rsU6IqoTS1do0pa56Zq6u2pkudNVSeeHqXORFV41BrlSeukobpjRXr5l34KoFT9UYuBqDp2qErkb4VI2hqzHUNXAb9nB2iZ6hCATW1wctjNCdhwLXJvVt4LMGjTJQ0SNhnENb2TGbYncNj3FYFkl+D+WrEDOQlUX0xJFZVhgtrdV2A/+tjyXrXV3NcbixCpIVsYNikAqPFr33Uu8Y8tbijrO407ZoaHWfuz6XXje9YuxtKgmcUVN47VrgwTOkJks/Lb2Za7Y8a+OefuKm3pjpnFtVf3M5UPl28I0LeOvRYcAtiG197lqfd7Q+c61MEL3PZ162MlsY27s0KzPzwSeWpm1wXAK0TTJ7Sz/NW6RVY7Z/mrcdZAJwE3TjjiWDL3bOrsrTk/bs4IEPpdB2rJntxsx2l5l1UQb3tO4tY69evQqqPB6KidRHUzwSRS5ljDm1NV0kAbpOY//p0ekMpkBP6pijZmzzps7/e5KNoc2Zoc1fNIRzziIwZ7CtK60NA89GhFJxtDP16tWTMsHRBUmUY8Y2TjvmiZwd3azSNyfKTM3NdN2ZWu8w5QTv+sNJzGx9+zC48Bqt/2KjuUXV+VAzc6Y+jdrh6qdvbYpt31bvyaz9id/ezXTWAY5aPz854EZwECdarIl+sIFePzX2Rkmel4Y2T5Y3j02FNZPZzOVIqkRHmNbsU2KrQhUk8ZBXuJ3lJ5aazpkEqbobGGY6mxEUUse4QsZJnjXx6QxN5KnAzD/GT3Dg9A0qqLXlB5XlZYpWn/cRej51y1m26ICYgc8MiAl9JiRm6DNDYsBngJiRz4yIiXwmImbsM2NiYp+JifnsM5+JufOZO2ISn0mmRsZlKmKJHltCMHzUh53dwWXxeSKVGObZb5XQH0BRjo/65PE2RqSN7cy3nVGvuc/kxBQ+UxDzxWe+EFP6TEmM9BlJjPIZRczEZybEVD5TEXPvM/fEPPjMAzGPPvNIzFef+Tq1aZ5zAIzM+ex4rxonqa0rDUbMbWbjVmPrJa6GKTOecRweEMx8owoJZo5RDQlmXlEBwcwlqhHBzB+qiGDmDNWYYOYJ1YRg5gbVZ4KZD1R3BDMHqBKCEwanBKcMZgvNVzgnmIm5KghmSq6+EMxkXJUEMw1XkmDJN5Vg1b0mXLoVwUy31T3BTLTVA8FMsdUjwUyu1VeCnVa3E9AvssynvbJDt2BF13kug1Ve58kMVn6dZzNYDXaezmCF2Hk+g1Vj5wkNVpKdZzRYXXae0sg9eU6DVWjnSQ1Wpp1nNVittk9rx6U+l3LuyZMYrHQ7z2Kw+u08jcGKuPM8BqvkzhMZrJw7z2Swmu48lcEKu/NcBqvuzpMZrMQ7z2awOu88ncGKvfN8Bqv4p09o9IUyDmcZSrpO/rFObpNuELzB4E2CNxm8RfAWg7cJ3mbwDsE7DN4leJfBewTvMXif4H0GvyP4HYMPCD5gcI/gHoMPCT5k8BHBRww+JviYwScEnzD4lOBTBp8RfMbgc4LPGXxB8AWDLwm+ZPAVwVcMvib4msE3BN8w+D3B7xn8geAPTx+vvujAqo5pdJ3p10iPcRuc2/S5Tc5t+dwW57Z9bptzOz63w7ldn9vl3J7P7XFu3+f2OffO595x7sDnDjjX87ke5w597pBzRz53xLljnzvm3InPnXDu1OdOOXfmc2ecO/e5c85d+NwF5y597pJzVz53xblrn7vm3I3P3XDuvc+959wHn3Oyv+IpRPUVzOcI83Wda1vlGdTu86zD0omF+ikFjVlOrHE/H64amCEDi1AeYrIQRCj7MLkHIpRzVM1IKNMweQYilF+Y7AIRyipMToEI5RImk0CEMgiTPyBCeYPJGhChbMHkCogkbB0sQpmByQsQydj6WYSyAJMDIEKx30R+RCjim3iPCMV5E+URkWzBLUIxvWq2hW1KZRGK3yZ6I0JR28RsRChWm0iNCEVoE58R6cpG/TS0CpJirPfb/J0psBo04jC6cCB91KI3Ew2VBOlgqFvYByJy/fUw4uYvwUaSWo4OQIOI4G+CZByluqn5S7ATbiPa2UTqmo+/1mJ1JRRrSCUU6pBNqrZfatkSCnREJRRnRCUU5phKOFw2VhTkZyqhGO/Y2tRahLOZ11qAroSLyVYRxZezJam16FwJRfeFSii4kq1UrYU2W6Bai8yVcKHZMqPAKiqhuO6phMJ6oBKK6pFKKKiv0+Y7L4yzDxY3MRZ1RrHVRFZEKKKaeIoIxVETRRGh6Gli5yBlMdNETEQoUpo4iQjFRxMdEaGoaGIiIhQLTSREhCKgiX+IUNwzUQ8RinYm1iFCMc5EOEQospm4hgjFMxPNEKEoZmIYIhS7TORChCKWiVeIUJwyUQoRik4mNtnvax1yVbtvah1ybRGKPyb6IEJRx8QcRCjWmEiDyAe2gxQXBjwspCfj5iDu4xNbPef6muk17j+bXOPDmju3fmxUdAGZ1Dc0tiBMghJQVON1fQJhjzbZk6NYvyqFLMyHcRahsWCSaESOZs/ptJb6Le85qKcMDPJk+EtmBg9TdML2m9qs+fbYxM3GnnlL3UxN2fwyk0z9asNhpH+16TDyALXlMPIBte0w8gK14zDyA7XrMPIEtecw8gW17zDyBvXOYeQP6sBh5BGq5zDyCXXoMPIKdeQw8gt17DDyDHXiMPINdeow8g515jDyD3XuMPIQdeEw8hF16TDyEnXlMPITde0w8hR14zDyFfXeYeQt6oPDbEaGQt4tg2Js2ch9zg29jxvRBoNJF9Emg0ka0RaDSR3RNoNJINEOg0kj0S6DSSbRHoNJKdE+g0ks0TsGk16iAwaTZKIeg0k10SGDSTjREYNJO9Exg0k+0QmDSUHRKYNJRNEZg0lH0TmDSUrRBYNJTdElg0lQ0RWDSVPRNYNJVtENg0lZ0XsGk7iiDwx2Gf+5uT2kaTl7izJg4pIbhJK25CahJC25RahR1guxZb7JmEgQgZCgBHadwFBsL4sBhIHG1TiW4j6fJEOEsARCmu89MJeclEJfqcsTNKTvu8BDgbml+TLXfaW+Qz2SOuUuoSROuUcoaVPuE0rSlO8IJWXKA0JJmLJHKOlSHhJKspRHhJIq5TGhJEp5QihpUp4SSpKUZ4SSIuU5oSRIeUEo6VFeEkpylFeEkhrlNaEkRnlDKGlRvieUpCg/EDp75ZJh3gfmI0RgX7Y0SSBQBtDzk3+dHq5TCaW6QSWU6CaVUJpbVMLDbptKKKIdKqF4dqmEotmjEopln0ookndUQnEcUAlF0aMSiuGQSiiCIyrh5h9TCTf9hEq42adUwk0+oxJu7jmVcFMvqISbeUkl3MQrKuHmXVMJN+2GSrhZ76mEm/SB9ddkWk2WpbcM+JYpm3HhkaL919ySRSe26LK5tZhPlL78K+4xpBVQ+gkRUEbkZUNN92qmAVNxLhEEky5BK18CkzBBK2MCkzJBK2cCkzRBK2sCkzZBK28CkzhBK3MCkzpBK3cCkzxBK3sCkz5BK38Ck0BBK4MCk0JBK4cCk0RBK4sCk0ZBK48Ck0hBK5MCk0pBK5cCk0xBK5sCk05BK58Ck1BBK6MCk1JBK6cCk1RBK6sCk1ZBK68Ck1hBK7MCk1pBK7cCk1xBK7sCk15BK78Ck2ABy7DwkwKGHFVOQEyyIZTJo760NAxUICLIoMRoo8uxRKUPJjr0tK8fY9VpXdzW/TKtTcEEPm0V0kJflDfXfan97O7g4NGEO3MNRHeC8bFl290Q0Xfri6nfhVfzhNc8mXYNJs2HkHxrIqbCbCa2NNdPU+nkW5UKFSdDaGr2TWE2+lkLPCZUHo4DqS+rBxOVm09QUHojbF1gLWyd2RibJvMDGIJXzxY76pVI4KHj6tkiaiE079D8yklQJEEI09mNml4DTMUL0Tz7y7vYul88i3jb7YH0JLu002uzZ1Me21unZlqwNW6RSTl17918ooRoOnuT1qZCRXPUpXgUQ9k2LfORSoMHqumAdj0MFrm5xGRfss1bKZKJnv1X/SbAZw96U36D6aA3t4H6brd30bttX+GfoMS9L3NW83xuAzbzimhd0AK9zpNRGaT6hdT4Pi8xQZXBoxTPez+/fq5v75j/DDLJ7C1UWeD+S3N77HkfkoTVcS9EX4gNDIDo8pn+9Yj+Dqm+xaazYGuU1dZXSPNJZGKmSYpjBcvGvMzFMAdt7j6+iwsYxsFK6wpyXqaJfnk/rXs/r047yDwDza11ceretHvdxRWaKToYo4Xez/04G6nHtusUgf6fDrjLJ4F2lnPAs1YGEYg4E1neJPQKHlbE5jiXenlynQCGY7GFn30z+K0Ugzy/W1n0XuccF/p0zst/QI2XkRkA/u0v66dvVdTnpK2IT90mjVqxmvn9RI0LFNSFvuGXgOoHA/SzJL8flBDc3X6/tNb+f0jzD1evV9berrw5fbP0+43m/yj9euHvFv5+4eXC2sI/Lfx+YW/hZOFyIfzuf5796tn3z354W7/997f/8fY/bdVn3zVt/nbB+3n7X/8LEdcd3w==
@u
@t
(t, x) = D(u)(t, x) (t, x)
u(t = 0, x) = ˆ
u0(x)
u(t, x) = ˆ
u(t, x) (t, x) 2 (0, T) ⇥
ˆ
f(ru(t, x), n(x)) = 0 (t, x) 2 (0, T) ⇥
• ߟྀ͢Δภඍํఔࣜ
ඇઢܗ
ඍ࡞༻ૉ
AAA2+XiclVtZcxw5cubIx67pa8Z+9AvClHY1DoomNQrZD17H8ibF5n1Kag2jujq7usS6VEAXSdW2/4vfHH71r/Gj/4kTQKEzUV3U2IwQWfg+IHF9icyuhgZFEku1uvrf3z37oz/+kz/91a//bPHP/+Iv/+qvv//hb65kPilDuAzzJC9vBoGEJM7gUsUqgZuihCAdJHA9uNvU/HUFpYzz7EI9FvApDaIsHsVhoBC6/eG7r0L0i2E8GtX9ajKt1VS8VMuiXz38KH7zO9FPAzUOg6Temr5E/kfHLQrxG6rYjzPxcnVZXOCjilOQon+cQhQsY7V+X/+qJi+V+J1YZZbHgTJd3q6+tJimjKmuxh0NCfzmSIqgVHGQWKO3ZkJlWm/FZRyOE1BT6scaHuFMs2CQBLxj/Tsz47RjGKT16vQXF6G76yOYpEGWTZdvv19aXVk1P2L+Ya15WFpofk5uf3gz6g/zcJJCpsIkkPLj2mqhPtW6mzCB6WJ/IqEIwrsggo/4mAU4jE+1UclUvEBkKEZ5if8yJQzKW9RBKuVjOsCaeqSyzWmwkxukXs/1o7YvW6NRo3/+VMdZMVGQhXYwo0kiVC60LMUwLiFUySM+BGEZ43xEOA7KIFQoXs+6iu+++v3pEak8T/wu6yoo7+MhjtlDcU/kXVz4oF0hD3rowHTXr8Ihghnch3mK2zis+9p5ph9ff6r7IxxvPRRLa1P9+/V0KsSLvBzGWVDqiY1GUOLOoSJ8A0XLgtONMUQFtOe3i7NZQ92p+EdhesVO4+yVPhDE/6Fz3BLqnjpGY7xnZtOhT5ucZLGaflxDe8Jp/uPS2iezHJoT97EaC/llEpQgBjjjO1DSNxEoO6AERmpFD6dfxtFY/eG2nl+GISS43i1QTorCjOHn+uXS2o/tNnIyMOzMKXGpW1Uuce3RzS/b+JXFrxB/ITwGLAPz+1SUOc3nX3A+y7iozZz+dc7OVVDa5WvGpsumZb+mpejP97/ttdrubuMv80DaNrrmH9g6TxcXF1/oH3G0fS0O1y/2xNb2zv7R/sX+8dG5MNRi1wGxjH+N+y/rUwFHeBiUd0Kib2O4kSIfiTAo7LM+iUpADZVxFumDYBhXsXTVRnE0KaElCwT1SKc1LnYqXvbweW5rsU6IqoTS1do0pa56Zq6u2pkudNVSeeHqXORFV41BrlSeukobpjRXr5l34KoFT9UYuBqDp2qErkb4VI2hqzHUNXAb9nB2iZ6hCATW1wctjNCdhwLXJvVt4LMGjTJQ0SNhnENb2TGbYncNj3FYFkl+D+WrEDOQlUX0xJFZVhgtrdV2A/+tjyXrXV3NcbixCpIVsYNikAqPFr33Uu8Y8tbijrO407ZoaHWfuz6XXje9YuxtKgmcUVN47VrgwTOkJks/Lb2Za7Y8a+OefuKm3pjpnFtVf3M5UPl28I0LeOvRYcAtiG197lqfd7Q+c61MEL3PZ162MlsY27s0KzPzwSeWpm1wXAK0TTJ7Sz/NW6RVY7Z/mrcdZAJwE3TjjiWDL3bOrsrTk/bs4IEPpdB2rJntxsx2l5l1UQb3tO4tY69evQqqPB6KidRHUzwSRS5ljDm1NV0kAbpOY//p0ekMpkBP6pijZmzzps7/e5KNoc2Zoc1fNIRzziIwZ7CtK60NA89GhFJxtDP16tWTMsHRBUmUY8Y2TjvmiZwd3azSNyfKTM3NdN2ZWu8w5QTv+sNJzGx9+zC48Bqt/2KjuUXV+VAzc6Y+jdrh6qdvbYpt31bvyaz9id/ezXTWAY5aPz854EZwECdarIl+sIFePzX2Rkmel4Y2T5Y3j02FNZPZzOVIqkRHmNbsU2KrQhUk8ZBXuJ3lJ5aazpkEqbobGGY6mxEUUse4QsZJnjXx6QxN5KnAzD/GT3Dg9A0qqLXlB5XlZYpWn/cRej51y1m26ICYgc8MiAl9JiRm6DNDYsBngJiRz4yIiXwmImbsM2NiYp+JifnsM5+JufOZO2ISn0mmRsZlKmKJHltCMHzUh53dwWXxeSKVGObZb5XQH0BRjo/65PE2RqSN7cy3nVGvuc/kxBQ+UxDzxWe+EFP6TEmM9BlJjPIZRczEZybEVD5TEXPvM/fEPPjMAzGPPvNIzFef+Tq1aZ5zAIzM+ex4rxonqa0rDUbMbWbjVmPrJa6GKTOecRweEMx8owoJZo5RDQlmXlEBwcwlqhHBzB+qiGDmDNWYYOYJ1YRg5gbVZ4KZD1R3BDMHqBKCEwanBKcMZgvNVzgnmIm5KghmSq6+EMxkXJUEMw1XkmDJN5Vg1b0mXLoVwUy31T3BTLTVA8FMsdUjwUyu1VeCnVa3E9AvssynvbJDt2BF13kug1Ve58kMVn6dZzNYDXaezmCF2Hk+g1Vj5wkNVpKdZzRYXXae0sg9eU6DVWjnSQ1Wpp1nNVittk9rx6U+l3LuyZMYrHQ7z2Kw+u08jcGKuPM8BqvkzhMZrJw7z2Swmu48lcEKu/NcBqvuzpMZrMQ7z2awOu88ncGKvfN8Bqv4p09o9IUyDmcZSrpO/rFObpNuELzB4E2CNxm8RfAWg7cJ3mbwDsE7DN4leJfBewTvMXif4H0GvyP4HYMPCD5gcI/gHoMPCT5k8BHBRww+JviYwScEnzD4lOBTBp8RfMbgc4LPGXxB8AWDLwm+ZPAVwVcMvib4msE3BN8w+D3B7xn8geAPTx+vvujAqo5pdJ3p10iPcRuc2/S5Tc5t+dwW57Z9bptzOz63w7ldn9vl3J7P7XFu3+f2OffO595x7sDnDjjX87ke5w597pBzRz53xLljnzvm3InPnXDu1OdOOXfmc2ecO/e5c85d+NwF5y597pJzVz53xblrn7vm3I3P3XDuvc+959wHn3Oyv+IpRPUVzOcI83Wda1vlGdTu86zD0omF+ikFjVlOrHE/H64amCEDi1AeYrIQRCj7MLkHIpRzVM1IKNMweQYilF+Y7AIRyipMToEI5RImk0CEMgiTPyBCeYPJGhChbMHkCogkbB0sQpmByQsQydj6WYSyAJMDIEKx30R+RCjim3iPCMV5E+URkWzBLUIxvWq2hW1KZRGK3yZ6I0JR28RsRChWm0iNCEVoE58R6cpG/TS0CpJirPfb/J0psBo04jC6cCB91KI3Ew2VBOlgqFvYByJy/fUw4uYvwUaSWo4OQIOI4G+CZByluqn5S7ATbiPa2UTqmo+/1mJ1JRRrSCUU6pBNqrZfatkSCnREJRRnRCUU5phKOFw2VhTkZyqhGO/Y2tRahLOZ11qAroSLyVYRxZezJam16FwJRfeFSii4kq1UrYU2W6Bai8yVcKHZMqPAKiqhuO6phMJ6oBKK6pFKKKiv0+Y7L4yzDxY3MRZ1RrHVRFZEKKKaeIoIxVETRRGh6Gli5yBlMdNETEQoUpo4iQjFRxMdEaGoaGIiIhQLTSREhCKgiX+IUNwzUQ8RinYm1iFCMc5EOEQospm4hgjFMxPNEKEoZmIYIhS7TORChCKWiVeIUJwyUQoRik4mNtnvax1yVbtvah1ybRGKPyb6IEJRx8QcRCjWmEiDyAe2gxQXBjwspCfj5iDu4xNbPef6muk17j+bXOPDmju3fmxUdAGZ1Dc0tiBMghJQVON1fQJhjzbZk6NYvyqFLMyHcRahsWCSaESOZs/ptJb6Le85qKcMDPJk+EtmBg9TdML2m9qs+fbYxM3GnnlL3UxN2fwyk0z9asNhpH+16TDyALXlMPIBte0w8gK14zDyA7XrMPIEtecw8gW17zDyBvXOYeQP6sBh5BGq5zDyCXXoMPIKdeQw8gt17DDyDHXiMPINdeow8g515jDyD3XuMPIQdeEw8hF16TDyEnXlMPITde0w8hR14zDyFfXeYeQt6oPDbEaGQt4tg2Js2ch9zg29jxvRBoNJF9Emg0ka0RaDSR3RNoNJINEOg0kj0S6DSSbRHoNJKdE+g0ks0TsGk16iAwaTZKIeg0k10SGDSTjREYNJO9Exg0k+0QmDSUHRKYNJRNEZg0lH0TmDSUrRBYNJTdElg0lQ0RWDSVPRNYNJVtENg0lZ0XsGk7iiDwx2Gf+5uT2kaTl7izJg4pIbhJK25CahJC25RahR1guxZb7JmEgQgZCgBHadwFBsL4sBhIHG1TiW4j6fJEOEsARCmu89MJeclEJfqcsTNKTvu8BDgbml+TLXfaW+Qz2SOuUuoSROuUcoaVPuE0rSlO8IJWXKA0JJmLJHKOlSHhJKspRHhJIq5TGhJEp5QihpUp4SSpKUZ4SSIuU5oSRIeUEo6VFeEkpylFeEkhrlNaEkRnlDKGlRvieUpCg/EDp75ZJh3gfmI0RgX7Y0SSBQBtDzk3+dHq5TCaW6QSWU6CaVUJpbVMLDbptKKKIdKqF4dqmEotmjEopln0ookndUQnEcUAlF0aMSiuGQSiiCIyrh5h9TCTf9hEq42adUwk0+oxJu7jmVcFMvqISbeUkl3MQrKuHmXVMJN+2GSrhZ76mEm/SB9ddkWk2WpbcM+JYpm3HhkaL919ySRSe26LK5tZhPlL78K+4xpBVQ+gkRUEbkZUNN92qmAVNxLhEEky5BK18CkzBBK2MCkzJBK2cCkzRBK2sCkzZBK28CkzhBK3MCkzpBK3cCkzxBK3sCkz5BK38Ck0BBK4MCk0JBK4cCk0RBK4sCk0ZBK48Ck0hBK5MCk0pBK5cCk0xBK5sCk05BK58Ck1BBK6MCk1JBK6cCk1RBK6sCk1ZBK68Ck1hBK7MCk1pBK7cCk1xBK7sCk15BK78Ck2ABy7DwkwKGHFVOQEyyIZTJo760NAxUICLIoMRoo8uxRKUPJjr0tK8fY9VpXdzW/TKtTcEEPm0V0kJflDfXfan97O7g4NGEO3MNRHeC8bFl290Q0Xfri6nfhVfzhNc8mXYNJs2HkHxrIqbCbCa2NNdPU+nkW5UKFSdDaGr2TWE2+lkLPCZUHo4DqS+rBxOVm09QUHojbF1gLWyd2RibJvMDGIJXzxY76pVI4KHj6tkiaiE079D8yklQJEEI09mNml4DTMUL0Tz7y7vYul88i3jb7YH0JLu002uzZ1Me21unZlqwNW6RSTl17918ooRoOnuT1qZCRXPUpXgUQ9k2LfORSoMHqumAdj0MFrm5xGRfss1bKZKJnv1X/SbAZw96U36D6aA3t4H6brd30bttX+GfoMS9L3NW83xuAzbzimhd0AK9zpNRGaT6hdT4Pi8xQZXBoxTPez+/fq5v75j/DDLJ7C1UWeD+S3N77HkfkoTVcS9EX4gNDIDo8pn+9Yj+Dqm+xaazYGuU1dZXSPNJZGKmSYpjBcvGvMzFMAdt7j6+iwsYxsFK6wpyXqaJfnk/rXs/r047yDwDza11ceretHvdxRWaKToYo4Xez/04G6nHtusUgf6fDrjLJ4F2lnPAs1YGEYg4E1neJPQKHlbE5jiXenlynQCGY7GFn30z+K0Ugzy/W1n0XuccF/p0zst/QI2XkRkA/u0v66dvVdTnpK2IT90mjVqxmvn9RI0LFNSFvuGXgOoHA/SzJL8flBDc3X6/tNb+f0jzD1evV9berrw5fbP0+43m/yj9euHvFv5+4eXC2sI/Lfx+YW/hZOFyIfzuf5796tn3z354W7/997f/8fY/bdVn3zVt/nbB+3n7X/8LEdcd3w==
@u
@t
(t, x) = D(u)(t, x) (t, x) 2 (0, T) ⇥ ⌦,
u(t = 0, x) = ˆ
u0(x) x 2 ⌦,
u(t, x) = ˆ
u(t, x) (t, x) 2 (0, T) ⇥ @⌦Dirichlet,
ˆ
f(ru(t, x), n(x)) = 0 (t, x) 2 (0, T) ⇥ @⌦Neumann,
֦ࢄํఔࣜͷ߹ AAA1v3iclVtrc9w6ctXu5rFRXnc3H/MFFdm1d1OyYvnaSSqVpFZvyRq9n7bH18Uhezi0+DKBoSTPTv5Ofk2+JpV/kwZAsBscynejKmmIc4AmHqfRTQ40KtNEqpcv//dnP//FH/3xn/zpL/9s+c//4i//6q+/+9Wvr2UxrUK4Cou0qG5HgYQ0yeFKJSqF27KCIBulcDO629L8TQ2VTIr8Uj2W8DEL4jwZJ2GgEPr03cYwC9QkDNLZ9vyTua6yWZSMx1PdZP799LfiX/5NDIO0nARimAejFD/CqFCuMP303crLtZfmRyxerDcXK0vNz+mnX70eD6MinGaQqzANpPyw/rJUH2dBpZIwhfnycCqhDMK7IIYPeJkHGciPMzPWuXiOSCTGRYW/uRIG5S1mQSblYzbCmno0sstpsJcbZd6dZ4/avuz0Ro3/+eMsycupgjy0nRlPU6EKoSdXREkFoUof8SIIqwTHI8JJUAWhwiXwrKvk7qt/P90jVRSpf8tZHVT3SYR99tAyqORdUvqgnSEPeujB9K1fhBGCOdyHRZYFeTQb6jWff3j1cTYcY39nkVhZn+u/r+ZzIZ4XVZTkQaUHNh5DhSuXBKlvoOxYGJZ6QYPUGKIC2vPbJXnbUN9U/IMwd8WbJvkLLWvxB9wcl4RuTzdGY/zOzKZDnzY5zRM1/7CO9oTziw8r6x/NdGhO3CdqIuSXaVCBGOGI70BJ30SgbIdSGKs13Z1hlcQT9ftPs8VpiCDF+e6AclqWpg8/zr5fWf9tt42cjgzbOi5OdafKFc79KJtddfFri18j/lx4DFgGFteprAoaz7/ieFZxUpsx/fuCneugstPX9E2XTcvhjKZiuHj/Ha/VTn8bf5pH0rbRNX/P5nm+vLz8XP+I450bcbRxuS+2d3YPjg8uD06OL4Shlvs2iFX8NO6/qncF7OFRUN0Jib6Nm6IUxViEQWmv9U5UAWqoSvJYbwRRUifSVRsn8bSCjiwQ1D2dz3CyM/H9AK8XlhbrhKhKqFytLVPqq2fG6qqd60JfLVWUrs5lUfbVGBVKFZmrtGlKC/WacQeuWvBUjZGrMXqqRuhqhE/ViFyNSNfAZdjH0aV6hCIQWF9vtDBGd44Ezk3m28BrDRploKLHwjiHtrJrFsWuGm7jsCrS4h6qFyHG0bVl9MSxmVYYr6zP7AL+xxBL1rv6mmN3ExWka2IXxSAVbi167aVeMeStxV1ncbdr0dDqvnD3XHnV3FUKV0ngiJrCK9cCN56Imqz8sPJ6odlq28Zd/cBNvTbDubCq/uZ0oPJt5xsX8Oajx4CbENv6wrW+6Gl97lqZIHpftF621k6Mvbs0M9P64BNT0zU4qQC6Jpm9lR8WLdKsMds/LNoOcgG4CLpxz5TBFztmV+XpQXt2cMOHSmg71sxOY2anz8yGqIJ7mveOsRcvXgR1kUQCUzncmpKxKAspE8wMrekyDdB1GvtP905nMCV6Us8YNWObN3X+34NsDG21hrZ+0hCOOY/B7MG2rrQ2DNz2CKXiaGfqxYsnZYK9C9K4wIxtkvWMEznbu7bSNwfKTC2MdMOZ2ugx5QTv7oeDaG19ezO49Bpt/GSjhUnV+VAzcqY+jdru6qtvLYpt31Xvadv+1G/vRtreAHutr5/scCM4SFIt1lRf2ECvrxp747QoKkObK8uby6bCuslsFnIkVaEjzGfsSahToQ7SJOIVPrX5iaXmCyZBqv4Ghpm3I4JS6hhXyiTFxy0bn87RRJEJzPwTfMQCp29QwUxbflB5UWVo9dkQoWdzN51Vhw6IGfnMiJjQZ0JiIp+JiAGfAWLGPjMmJvaZmJiJz0yISXwmIeazz3wm5s5n7ohJfSadGxlXmUgkeiw+M0ePerOzK7gqPk+lElGR/0YJ/QCKcnzUO4+3MCJrbOe+7ZzuWvhMQUzpMyUxX3zmCzGVz1TESJ+RxCifUcRMfWZKTO0zNTH3PnNPzIPPPBDz6DOPxHz1ma9zm+Y5B8DIXLTbe904ycy60mjM3Kbtt5pYL3E1TJnxjOPwiGDmG3VIMHOMOiKYeUUNBDOXqMcEM3+oY4KZM9QTgpkn1FOCmRvUnwlmPlDfEcwcoE4JThmcEZwxmE00n+GCYCbmuiSYKbn+QjCTcV0RzDRcS4IlX1SCVf+ccOnWBDPd1vcEM9HWDwQzxdaPBDO51l8JdlrdSUG/yDJPe1WPbsGKrndfBqu83p0ZrPx692awGuzdncEKsXd/BqvG3h0arCR792iwuuzdpZF7cp8Gq9DenRqsTHv3arBa7e7Wjst8LuPckzsxWOn27sVg9du7G4MVce9+DFbJvTsyWDn37slgNd27K4MVdu++DFbdvTszWIn37s1gdd67O4MVe+/+DFbxT+/Q6AtVErYZSrZB/rFBbpNtErzJ4C2Ctxi8TfA2g3cI3mHwLsG7DN4jeI/B+wTvM/iA4AMGvyX4LYMPCT5k8IDgAYOPCD5i8DHBxww+IfiEwacEnzL4jOAzBp8TfM7gC4IvGHxJ8CWDrwi+YvA1wdcMviH4hsG3BN8y+B3B7xj8nuD3T2+vvujAqo5pdIPp10iPcZuc2/K5Lc5t+9w253Z8bodzuz63y7k9n9vj3L7P7XPuwOcOOPfW595y7tDnDjk38LkB54587ohzxz53zLkTnzvh3KnPnXLuzOfOOHfuc+ecu/C5C85d+twl56587opz1z53zbkbn7vh3K3P3XLunc+949x7n3Oyv+YpRP0VzHMEPru+bNvWRQ4z9zzrsGxqoWFGQaPNiTXu58N1AzNkZBHKQ0wWgghlHyb3QIRyjrrpCWUaJs9AhPILk10gQlmFySkQoVzCZBKIUAZh8gdEKG8wWQMilC2YXAGRlM2DRSgzMHkBIjmbP4tQFmByAEQo9pvIjwhFfBPvEaE4b6I8IpJNuEUoptfNsrBFqS1C8dtEb0QoapuYjQjFahOpEaEIbeIzIn3ZqJ+G1uYrXKxtPlsF1qNGHEYXDqRHLXoz0VBpkI0i3cJeEFFkEGvcfBJsJKnl6AA0iAj+JUgmcaabmk+CnXAb0bYDmc14/2darK6EYg2phEKN2KBm9kstW0KBjqmE4oyphMKcUAm7y/qKgvxMJRTjHZubmRZhO/KZFqAr4WSyWUTxFWxKZlp0roSi+0IlFFzFZmqmhdZO0EyLzJVwotk0o8BqKqG47qmEwnqgEorqkUooqK/z5jsvjLMPFjcxFnVGsdVEVkQoopp4igjFURNFEaHoaWLnKGMx00RMRChSmjiJCMVHEx0RoahoYiIiFAtNJESEIqCJf4hQ3DNRDxGKdibWIUIxzkQ4RCiymbiGCMUzE80QoShmYhgiFLtM5EKEIpaJV4hQnDJRChGKTiY22e9rHXI9c9/UOuTGIhR/TPRBhKKOiTmIUKwxkQaR92wFKS6MeFjITifNRjzEKzZ7zvU1M2jcvx1c48Oau7B+bFR0CbnUJzS2IUyDClBUkw29A+EdbbInx4l+VQp5WERJHqOxYJpqRI7b62w+k/ot7wWopwyMijT6KTOjhzk6YfdNbd58e2ziZmPPvKVuhqZsfplLpn616TDSv9pyGHmA2nYY+YDacRh5gdp1GPmB2nMYeYLadxj5gjpwGHmDeusw8gd16DDyCDVwGPmEOnIYeYU6dhj5hTpxGHmGOnUY+YY6cxh5hzp3GPmHunAYeYi6dBj5iLpyGHmJunYY+Ym6cRh5irp1GPmKeucw8hb13mE2I0Mh71VBObFs7J5zQ+9xI95kMOki3mIwSSPeZjCpI95hMAkk3mUwaSTeYzDJJN5nMCklPmAwiSV+y2DSS3zIYJJMPGAwqSY+YjAJJz5mMGknPmEwySc+ZTApKD5jMIkoPmcw6Si+YDBJKb5kMKkpvmIwCSq+ZjBpKr5hMMkqvmUwKSt+x2ASV/yewS7jvzCnhzQt27coIyYuuUkoaUtuEUrSktuEGmU9F9vmm4ypBBEICUrgrVOIxM6qGEEYaFxNEinui2kaIYQlENJ874G55LQS+khdkaIhfd4FHkrMLc2Xue4r9V26I6lT7hFK4pT7hJI25QGhJE35llBSpjwklIQpB4SSLuURoSRLeUwoqVKeEEqilKeEkiblGaEkSXlOKClSXhBKgpSXhJIe5RWhJEd5TSipUd4QSmKUt4SSFuU7QkmK8j2h7SuXHPM+MI8QgX3Z0iSBQBnAwE/+dXq4QSWU6iaVUKJbVEJpblMJN7sdKqGIdqmE4tmjEopmn0oolgMqoUjeUgnFcUglFMWASiiGIyqhCI6phIt/QiVc9FMq4WKfUQkX+ZxKuLgXVMJFvaQSLuYVlXARr6mEi3dDJVy0WyrhYr2jEi7Se3a/JtNqsiy9ZMCXTNmMC7cU7b/mlCw6sUVXzanFYqoEpjviHkNaCZWfEAFlRF421NxetRowFRcSQTDpEnTyJTAJE3QyJjApE3RyJjBJE3SyJjBpE3TyJjCJE3QyJzCpE3RyJzDJE3SyJzDpE3TyJzAJFHQyKDApFHRyKDBJFHSyKDBpFHTyKDCJFHQyKTCpFHRyKTDJFHSyKTDpFHTyKTAJFXQyKjApFXRyKjBJFXSyKjBpFXTyKjCJFXQyKzCpFXRyKzDJFXSyKzDpFXTyKzAJFrAMC58UMOSoagpimkdQpY/60FIUqEDEkEOF0UaXE4lKH0116OkeP8aq81n5aTbUJ9gD+zxjrUJWJlUSmuO+1L49Ozh6NOHOHAPRN8H42LHtTohMAoVP6v4tvJqnvObpvK8zWRFB+q2BmArtSGxp4T5NpdNvVSpVkkbQ1ByaQtv7tgVuE6oIJ4HUh9WDqSrMExRUXg87B1hLW6ftY9NksQMRePVssadehQRuOq6eLaIWQvMOza+cBmUahDBvT9QMGmAunovm2p/e5c754jbi7XQ7MpDs0M6gy57PeWzv7JpZyea4Q6bV3L1384kK4nn7Jq1LhYrGqEvJOIGqa1oWY5UFD1TTAd16GCwKc4jJvmRbtFKmUz36r/pNgM8eDub8BNPhYGEB9dlu76B3177Cj6DCta8KVvNiYQG2ippoXdACvSnScRVk+oXU5L6oMEGVwaMUzwY/vnqmT++YfwaZ5vYUqixx/aU5PfZsCGnK6rgXos/FJgZAdPlc/3lEf4dMn2LTWbA1ymrrI6TFNDYx0yTFiYJVY14WIipAm7tP7pISoiRY6xxBLqos1S/v57PBjy/nPWSRg+bW+zh1b9q96uNKzZQ9jNHC4Mdhko/VY9d1ykD/pwOu8mmgneUCcK+VQQwiyUVeNAm9goc1sTUppJ6eQieA4URs47NvDr+RYlQUd2vL3uuck1LvzkX196jxKjYdwM/hqr76VkW9T9qKeNVv0qgVq5m/T9S4REFd6hN+KahhMEI/S4v7UQXB3afvVta7/4e0eHH9am39H9den71e+d1m8z9Kv1z626W/W/p+aX3pn5Z+t7S/dLp0tRQu/efSfy3999L/vNl4E7/J35S26s9/1rT5myXv583j/wEqAcAk
Ddi↵usion(u) := ↵r · ru
AAA19XiclVtbc9zKcabsXGzGTo7jx7xMhVL5nIRkRB3JcbmclHkVKS7vV0mro8ICvViIuAkziyW13vyTvKXymt+Th/yX9MxgtnuwoE7CKono75tpzOXr6V4sOCjTRKrnz//7yU9++md//hd/+bOfL//VL37513/zza/+9loW4yqEq7BIi+p2EEhIkxyuVKJSuC0rCLJBCjeDu23N39RQyaTIL9VDCR+yIM6TYRIGCqGP30yE6GeBGoVBOt2ZfTTXVTY9vph926/H34nf/4tYE/pS9MOoUKKfB4M0+E5o5B9Ff1gF4XRjNnX9zmE2a9p4HUz7NWeUq8sfv1l5vv7c/IjFi43mYmWp+Tn9+KuXw35UhOMMchWmgZTvN56X6sM0qFQSpjBb7o8llEF4F8TwHi/zIAP5YWpWaCaeIRKJYVHhv1wJg/Ie0yCT8iEbYEs9E9nmNNjJDTLvztMH7V+2RqOGv/swTfJyrCAP7WCG41SoQugtEVFSQajSB7wIwirB+YhwFODKKtw4z7tK7r7499MjUkWR+rec1kE1SSIcs4eWQSXvktIH7Qp50H0Hpm+9FkYI5jAJiywL8mjaj5LhcPb+xYepVUIkVlAM+P8LlIF4VlRRkgeVnthwCBXuXBKkvoOy5aFf6g0NUuOIDPTn90vyeUd9U/FPwtwVb5rkazoYxP/h5rgldHu6MTrjd2Y+Hfq4y3GeqNn7DfQnXEy8X9n4YJZDc2KSqJGQn8dBBWKAM74DJX0XgbIDSmGo1vVw+lUSj9SfPk4XlyGCFNe7BcpxWZox/DD9dmXju3YfOR4Ydh7suNStJle49oNsetXGry1+jfgz4TFgGVjcp7IqaD5/wPms4qI2c/rXBT/XQWWXrxmbtk3P/pSWor94/12v1253H3+ZB9L20S3/xNZ5try8/Ez/iOPdG3G0ebkvdnb3Do4PLg9Oji+EoZa7DohV/G3Cf1WfCjjCo6C6ExJjG49aKYqhCIPSXuuTqALUUJXksT4IoqROpGs2TOJxBS1ZIKhHOpviYmfi2x5eL2wttglRlVC5VtvG6mpn5uqanWujq5UqStfmsii7WgwKpYrMNdoy1kK7Zt6BaxY81mLgWgweaxG6FuFjLSLXItItcBv2cXapnqEIBLbXBy0MMZwjgWuT+T7wWoNGGajooTDBob3smU2xu4bHOKyKtJhAtRZi9l1fxkgcmmWF4crG1G7gv/XRstHV1R2Hm6ggXRd7KAap8GjRey/1jiFvPe45j3ttj4ZWk8Ldc+VFc1cpXCOBM2qMF64HHjwRdVn5fuXlQrfVeR939T139dJM58Kq+qvLgcq3g29CwFuPDgduQWzvC9f7oqP3uetlkuikmEfZ+nxh7N2lWZl5DD6yNG2Howqg7ZL5W/l+0SOtGvP9/aLvIBeAm6A7dywZfLZzdk0en7TnBw98qIT2Y93sNm52u9xsiiqY0Lq3nK2trQV1kURiLPXRlAxFWUiZYD1pXZdpgKHT+H98dLqCKTGSOuaoGdu9afP/nmTjaHvuaPtHHeGc8xjMGWzbSuvDwPMRoVQc7VytrT0qExxdkMYFVmyjrGOeyNnRzRt9daLM1cJMN52rzQ5XTvDufjiJua+vHwaXXqfNH+20sKi6HmpmztSnUTtcffW1TbH92+o9nfc/9fu7mc5vgKPW148OuBEcJKkWa6ovbKLXV42/YVoUlaHNleXNZdNgw1Q2CzWSqjAQmk8+9tNTq0EdpEnEG3yc1yeWmi24BKm6OxhmNp8RlFLnuFImaZE3+ekcXRSZwMo/wQ9Z4PQNKphqz/cqL6oMvT7tI/R05pazatEBMQOfGRAT+kxITOQzETHgM0DM0GeGxMQ+ExMz8pkRMYnPJMR88plPxNz5zB0xqc+kMyPjKhOJxIjFT9rRgz7s7A6uik9jqURU5L9RQn8ARTk+6JPH2xiRNb5z33dOdy18piCm9JmSmM8+85mYymcqYqTPSGKUzyhixj4zJqb2mZqYic9MiLn3mXtiHnzmgZgvPvNlZss8FwCYmYv58V43QTK1oTQYsrCZj1uNbJS4FsZmPOM4PCCYxUYdEswCo44IZlFRA8EsJOohwSwe6phgFgz1iGAWCfWYYBYG9SeCWQzUdwSzAKhTglMGZwRnDGYLzVe4IJiJuS4JZkquPxPMZFxXBDMN15JgyTeVYNW9Jly6NcFMt/WEYCba+p5gptj6gWAm1/oLwU6ruynoB1nm017VoVuwous8l8Eqr/NkBiu/zrMZrAY7T2ewQuw8n8GqsfOEBivJzjMarC47T2nkHj2nwSq086QGK9POsxqsVtunteMyn8s49+hJDFa6nWcxWP12nsZgRdx5HoNVcueJDFbOnWcyWE13nspghd15LoNVd+fJDFbinWczWJ13ns5gxd55PoNV/OMnNMZClYTzCiXbpPjYpLDJtgjeYvA2wdsM3iF4h8G7BO8yeI/gPQa/Jvg1g/cJ3mfwAcEHDH5D8BsGHxJ8yOAewT0GHxF8xOBjgo8ZfELwCYNPCT5l8BnBZww+J/icwRcEXzD4kuBLBl8RfMXga4KvGXxD8A2Dbwm+ZfBbgt8y+B3B7x4/Xn3RgVUd0+gm06+RHuO2OLftc9uc2/G5Hc7t+twu5/Z8bo9zr33uNef2fW6fcwc+d8C5Nz73hnOHPnfIuZ7P9Th35HNHnDv2uWPOnfjcCedOfe6Uc2c+d8a5c58759yFz11w7tLnLjl35XNXnLv2uWvO3fjcDedufe6Wc2997i3n3vmck/01LyHqL2A+R+Bn1+fzvnWRw9R9nnVYNrZQP6OkMa+JNe7Xw3UDM2RgEapDTBWCCFUfpvZAhGqOuhkJVRqmzkCE6gtTXSBCVYWpKRChWsJUEohQBWHqB0SobjBVAyJULZhaAZGUrYNFqDIwdQEiOVs/i1AVYGoARCj3m8yPCGV8k+8RoTxvsjwiki24RSin1822sE2pLUL522RvRChrm5yNCOVqk6kRoQxt8jMiXdWoX4bWQVqO9H6b33MF1oNGHEYXDqSPWvRkoqHSIBtEuoe9IKLIINa4+U2wkaSWowPQISL4P0EyiTPd1fwm2Am3Ee18ItMpH/9Ui9VZKNaQLBRqxCY1tV9qWQsFOiQLxRmThcIckYXDZWNFQX4iC8V4x9ZmqkU4n/lUC9BZuJhsFVF8BVuSqRads1B0n8lCwVVspaZaaPMFmmqROQsXmi0zCqwmC8U1IQuFdU8WiuqBLBTUl1nznRfm2XuLmxyLOqPcajIrIpRRTT5FhPKoyaKIUPY0uXOQsZxpMiYilClNnkSE8qPJjohQVjQ5ERHKhSYTIkIZ0OQ/RCjvmayHCGU7k+sQoRxnMhwilNlMXkOE8pnJZohQFjM5DBHKXSZzIUIZy+QrRChPmSyFCGUnk5vs97UOuZ66b2odcmMRyj8m+yBCWcfkHEQo15hMg8g7toOUFwY8LWSno+Yg7uMVWz0X+prpNeE/n1wTw5q7sHFsVHQJudRvaOxAmAYVoKhGm/oEwjvaYk8OE/2oFPKwiJI8RmfBONWIHM6vs9lU6qe8F6AeczAo0ujH3AzuZxiE7Se1efPtscmbjT/zlLqZmrL1ZS6Z+tWWw0j/atthFAFqx2EUA2rXYRQFas9hFAfqtcMoEtS+wygW1IHDKBrUG4dRPKhDh1FEqJ7DKCbUkcMoKtSxwygu1InDKDLUqcMoNtSZwyg61LnDKD7UhcMoQtSlwyhG1JXDKErUtcMoTtSNwyhS1K3DKFbUW4dRtKh3DrMVGQr5dRWUI8vG7nNu6H3ciLcYTLqItxlM0oh3GEzqiHcZTAKJ9xhMGolfM5hkEu8zmJQSHzCYxBK/YTDpJT5kMEkm7jGYVBMfMZiEEx8zmLQTnzCY5BOfMpgUFJ8xmEQUnzOYdBRfMJikFF8ymNQUXzGYBBVfM5g0Fd8wmGQV3zKYlBW/ZTCJK37HYFfxX5i3hzQt509RBkxccotQ0pbcJpSkJXcINcp6JnbMNxljCSIQEpTAW6cQid1VMYAw0LgaJVJMinEaIYQWCGm+98BaclwJ/UpdkaIj/b4L3JdYW5ovc91X6nt0R1KnfE0oiVPuE0ralAeEkjTlG0JJmfKQUBKm7BFKupRHhJIs5TGhpEp5QiiJUp4SSpqUZ4SSJOU5oaRIeUEoCVJeEkp6lFeEkhzlNaGkRnlDKIlR3hJKWpRvCSUpyneEzh+55Fj3gfkIEdiHLU0RCFQB9PziX5eHm2ShVLfIQoluk4XS3CELD7tdslBEe2SheF6ThaLZJwvFckAWiuQNWSiOQ7JQFD2yUAxHZKEIjsnCzT8hCzf9lCzc7DOycJPPycLNvSALN/WSLNzMK7JwE6/Jws27IQs37ZYs3Ky3ZOEmvWP3ayqtpsrSWwZ8y5StuPBI0fFr3pLFILboqnlrsRgrgeWOmGBKK6HyCyKgisirhprbq7kGTMOFQhBMuQSteglMwQStiglMyQStmglM0QStqglM2QStuglM4QStyglM6QSt2glM8QSt6glM+QSt+glMAQWtCgpMCQWtGgpMEQWtKgpMGQWtOgpMIQWtSgpMKQWtWgpMMQWtagpMOQWtegpMQQWtigpMSQWtmgpMUQWtqgpMWQWtugpMYQWtygpMaQWt2gpMcQWt6gpMeQWt+gpMgQWswsJPCphyVDUGMc4jqNIH/dJSFKhAxJBDhdlG24lEpQ/GOvW0Xz/GprNp+XHar7KpMUzi014hK5MqCc3rvtR//u7g4MGkO/MaiL4J5seWb/eGyChQ+Endv4XX8pS3PJ11DSYrIki/NhHTYD4Tay3cp2l0+rVGpUrSCJqWfWPMRz/vgceEKsJRIPXL6sFYFeYTFFTeCFsvsJa2zXyMTZfFAUTgtbNmR7sKCTx0XDtrohZC8wzNb5wGZRqEQH+p0GuAmXgmmmt/eZdb7xfPM95ueyA9yV7a6bXZ8xnP7a1TMyvZGrfItJq5524+UUE8mz9Ja1OhojlqKxkmULVdy2KosuCeWjqg3Q6TRWFeYrIP2Ra9lOlYz/6LfhLgs4e9GX+D6bC3sIH63W7vRe+2f4W/ggr3vipYy4uFDdguaqK1oQV6U6TDKsj0A6nRpKiwQJXBgxRPez+8eKrf3jF/DDLO7VuossT9l+btsad9SFPWxj0QfSa2MAFiyOf6vweMd8j0W2y6CrZOWWv9Cmkxjk3ONEVxomDVuJeFiArQ7ibJXVJClATrrVeQiypL9cP72bT3w/NZB1nkoLmNLk5NTL8XXVypmbKDMVro/dBP8qF6aIdOGei/dMBdPg10sFwAnrUyiEEkuciLpqBXcL8utkeF1MtT6AIwHIkd/Oybw2+kGBTF3fqy9zjnpNSnc1H9A2q8is0A8Hd/VV99raE+J21DvOp2adSKzcz/j7S4REFd6jf8UlD9YIBxlhaTQQXB3cdvVjbaf4e0eHH9Yn3jt+svz16u/HGr+Rulny393dLfL327tLH0z0t/XNpfOl26WgqX/ufJT5/84skvX01e/fur/3j1n7bpT540fX695P28+q//BdfG0DA=
DNS(u) := (u · r)u +
1
Re
r · ru rp,
/BWJFSr4UPLFTํఔࣜͷ߹