Watermelon

Posted on May 14, 2022 by rpflee

1990s, 19

(package-initialize)

(custom-set-variables
 '(cua-mode t nil (cua-base))
 '(custom-enabled-themes (quote (leuven))))
(custom-set-faces
 )

(set-register ?e '(file . "~/.emacs"))

(prefer-coding-system 'utf-8)

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

(defun backup-dot-emacs ()
  (interactive)

  (save-buffer)

  (setq backup-path (format "%s%s%s" 
              "/path_to_the_backup_folder/ubuntu_dot_emacs_" 
              (format-time-string "%Y_%m_%d_%I_%M_%S_%p")  
              ".el"))
  
  (write-file backup-path 'confirm)

  (setq original-cursor (point))

  (kill-buffer) 
  (find-file "~/.emacs")

  (goto-char original-cursor)
)

(global-set-key (kbd "C-`") 'backup-dot-emacs)

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;


(set-register ?d '(file . "/path_to_the_blog_folder/dialogue59.txt"))

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

(defun backup-blogging-tray ()
  (interactive)
  (save-buffer)

  (setq return-file-name (buffer-file-name))

  (setq backup-path (format "%s%s%s" 
                "/path_to_the_backup_folder/blogging_tray_" 
                (format-time-string "%Y_%m_%d_%I_%M_%S_%p")  
                ".txt"))

  (write-file backup-path 'confirm)

  (setq original-cursor (point))

  (kill-buffer) 

  (find-file return-file-name)

  (goto-char original-cursor)
 
)

(global-set-key (kbd "C-x C-a") 'backup-blogging-tray)

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

— Me@2022.05.14 05:10:49 PM

Ex 1.25 Properties of Dt, 2

Posted on May 14, 2022 by rpflee

Structure and Interpretation of Classical Mechanics

Demonstrate that …

b. $\displaystyle{D_t (c F) = c D_t F}$

c. $\displaystyle{D_t (F G) = F D_t G + (D_t F) G}$

~~~

$\displaystyle{ \begin{aligned} &D_t (c F) \circ \Gamma[q] (t) \\ \end{aligned} }$

$\displaystyle{ \begin{aligned} &= \partial_0 \left[c F(t, q, v, a, ...) \right] + \partial_1 \left[c F(t, q, v, a, ...) \right] v(t) + \partial_2 \left[c F(t, q, v, a, ...) \right] a(t) + ... \end{aligned} }$

$\displaystyle{ \begin{aligned} &= c \partial_0 F(t, q, v, a, ...) + c \partial_1 F(t, q, v, a, ...) v(t) + c \partial_2 F(t, q, v, a, ...) a(t) + ... \end{aligned} }$

$\displaystyle{ \begin{aligned} &= c \left[ \partial_0 F(t, q, v, a, ...) + \partial_1 F(t, q, v, a, ...) v(t) + \partial_2 F(t, q, v, a, ...) a(t) + ... \right] \end{aligned} }$

$\displaystyle{ \begin{aligned} &= c D_t F \circ \Gamma[q] (t) \\ \end{aligned} }$

$\displaystyle{ \begin{aligned} &D_t (FG) \circ \Gamma[q] (t) \\ \end{aligned} }$

$\displaystyle{ \begin{aligned} &= \partial_0 \left[ F(t, q, v, a, ...) G(t, q, v, a, ...) \right] \\ &+ \partial_1 \left[ F(t, q, v, a, ...) G(t, q, v, a, ...) \right] v(t) \\ &+ \partial_2 \left[ F(t, q, v, a, ...) G(t, q, v, a, ...) \right] a(t) + ... \\ \end{aligned} }$

$\displaystyle{ \begin{aligned} &= \left[ \partial_0 F(t, q, v, a, ...) \right] G(t, q, v, a, ...) + F(t, q, v, a, ...) \partial_0 G(t, q, v, a, ...) \\ &+ \left\{ \left[ \partial_1 F(t, q, v, a, ...) \right] G(t, q, v, a, ...) + F(t, q, v, a, ...) \partial_1 G(t, q, v, a, ...) \right\} v(t) \\ &+ \left\{ \left[ \partial_2 F(t, q, v, a, ...) \right] G(t, q, v, a, ...) + F(t, q, v, a, ...) \partial_2 G(t, q, v, a, ...) \right\} a(t) + ... \\ \end{aligned} }$

$\displaystyle{ \begin{aligned} &= \left[ \partial_0 F(t, q, v, a, ...) \right] G(t, q, v, a, ...) \\ &+ \left[ \partial_1 F(t, q, v, a, ...) \right] G(t, q, v, a, ...) v(t) \\ &+ \left[ \partial_2 F(t, q, v, a, ...) \right] G(t, q, v, a, ...) a(t) + ... \\ \\ &+ F(t, q, v, a, ...) \partial_0 G(t, q, v, a, ...) \\ &+ F(t, q, v, a, ...) \partial_1 G(t, q, v, a, ...) v(t) \\ &+ F(t, q, v, a, ...) \partial_2 G(t, q, v, a, ...) a(t) + ... \\ \end{aligned} }$

$\displaystyle{ \begin{aligned} &= \left[ \partial_0 F(t, q, v, a, ...) + \partial_1 F(t, q, v, a, ...) v(t) + \partial_2 F(t, q, v, a, ...) a(t) + ... \right] G(t, q, v, a, ...) \\ &+ F(t, q, v, a, ...) \left[ \partial_0 G(t, q, v, a, ...) + \partial_1 G(t, q, v, a, ...) v(t) + \partial_2 G(t, q, v, a, ...) a(t) + ... \right] \\ \end{aligned} }$

$\displaystyle{ \begin{aligned} &= \left\{ D_t F \circ \Gamma[q] (t) \right\} G(t, q, v, a, ...) + F(t, q, v, a, ...) D_t G \circ \Gamma[q] (t) \\ \end{aligned} }$

$\displaystyle{ \begin{aligned} &= \left\{ D_t F \circ \Gamma[q] (t) \right\} G \circ \Gamma[q] (t) + F \circ \Gamma[q] (t) D_t G \circ \Gamma[q] (t) \\ \end{aligned} }$

The meaning of $\displaystyle{\delta_\eta (fg)[q]}$ is

$\displaystyle{\delta_\eta (f[q]g[q])}$

$\displaystyle{ \begin{aligned} &D_t (FG) \circ \Gamma[q] (t) \\ \end{aligned} }$

$\displaystyle{ \begin{aligned} &= \left\{ D_t F \circ \Gamma[q] (t) \right\} G \circ \Gamma[q] (t) + F \circ \Gamma[q] (t) D_t G \circ \Gamma[q] (t) \\ \end{aligned} }$

$\displaystyle{ \begin{aligned} &= \left[ (D_t F) G + F D_t G \right] \circ \Gamma[q] (t) \\ \end{aligned} }$

$\displaystyle{ \begin{aligned} D_t (FG) \circ \Gamma[q] (t) &= \left[ (D_t F) G + F D_t G \right] \circ \Gamma[q] (t) \\ \\ D_t (FG) &= (D_t F) G + F D_t G \\ \end{aligned} }$